Identificateurs

Notons que les identificateurs sont en unicode. L'uniode est un codage de caractère sur 16 bits. Bien entendu, les éditeurs en usage étant généralement en latin-1 ou ASCII sur 8 bits. On peut entrer dans un texte en ASCII pur un caractère unicode par \uxxxx par exemple \u3c00 est le caractère $\pi$