Re: Caractères à copicoller

Le 30/09/2024 à 18:23, Olivier Miakinen a écrit :

Quels standards par défaut ? Le standard actuel, c'est Unicode, et ça fait
déjà quelques années que c'est le cas.

ah mais tu veux dire que certaines polices Unicode n'implémentent pas tout Unicode ?
hmmm, d'un autre côté je crois me rappeler que des jeunes geek du labo m'ont expliqué que Unicode était un standard ouvert où s'ajoutaient régulièrement des extensions, ce qui ne doit pas aider (drole de standard pour une police).
Mais on aurait pu imaginer que le package "math" y ait été mis très tôt.
--
Fabrice