Sinma a écritLa même norme 80000-2 qui définit l’usage de ≃ et ≈ parle des symboles ⩽ et ⩾ mais pas de ≤ et de ≥. Cf. la page 43
ce PDF.
Ce document définit les « signes et symboles mathématiques à employer dans les sciences de la nature et dans la technique » (c’est marqué dedans), ça ne présume pas de ceux utilisés dans les publications de mathématiques ou dans leur enseignement en France.
Cela dit, l’usage a pu évoluer depuis mes (lointaines) études.
Je viens de poser la question à un collègue qui se reconvertit comme prof de maths (mais pas sûr qu’il sache).
Sinma a écritMauvaise police, changer de police? Et puis la plupart des polices l’ont,
Je te suggère de vérifier toi-même avec gucharmap (menu Affichage, N’afficher que les glyphes de cette police). J’ai essayé les polices les plus courantes sous Linux :
DejaVu Sans : oui
DejaVu Sans Mono : non
DejaVu Serif : non
Droid Sans (tout court et Mono) : non
Fixed : non
FreeMono/Sans/Serif : non
Liberation Mono/Sans/Serif : non
Linux Biolinum/Libertine : non
Source Code Pro/Source Sans Pro : non
Symbola : oui
Ubuntu (toutes variantes) : non.
Sinma a écritsans compter que dans le cas contraire le caractère est affiché avec une police de substitution.
Si le logiciel gère la substitution de police et si le système a bien une police qui le contient.
Personnellement, j’éviterai d’envoyer un mail avec ⩽ ou ⩾, rien ne dit que le destinataire n’ait pas une vieille version de Windows ou un Linux sans la police DejaVu Sans installée (ça m’étonnerait qu’il y ait une distribution qui installe la Symbola par défaut).
Je reverrai la question dans cinq ou dix ans si les polices incluent plus largement ces caractères.
Sinma a écritEt puis les normes c’est pas pour les chiens! D’ailleurs c’est drôle, mais les
directives ISO/IEC préconisent l’utilisation de la virgule comme séparateur décimal…
Préviens-moi quand les anglo-saxons suivront ça (et plus important, quand les américains passeront au système métrique).