Print
Notations
[TO BE TRANSLATED]
(NEXT: a function)