Vigor, le 14/05/2014 à 15:14
Merci a Orangina Rouge pour l'info.
Pour taper de l'unicode (ascii is bad) dans GNU/Linux c'est donc Ctrl+Shift+U et le code du caractère choisi dans la table: http://www.yoyodesign.org/doc/w3c/mathml2/bycodes.html
(Permalink)