Re: [EGD-discu] Réunion du 20 mai à l’Afnor

[Mélanie (ariasuni) <perso@xxxxxxxxxxxxxx>]

Le 04/06/2016 à 08:59, Marcel a écrit :
> Le 04/06/16 à 00:26, Mélanie (ariasuni) a écrit :
> 
>> Le 03/06/2016 à 12:00, Mimoza a écrit :
>>> 3 juin 2016 11:57 "whity"  a écrit:
>>>> Le 2016-06-03 11:40, Mimoza a écrit :
>>>>
>>>>> D'ailleurs en parlant de maths je leur ai fait préférer ⩽⩾ au
>>>>> ≤ ≥ .
>>>>
>>>> Puisqu’on parle de ça, sais-tu pourquoi les deux existent ? Mes
>>>> souvenirs de mes lointains cours me suggèrent qu’effectivement, on
>>>> utilisait plutôt ⩽ et ⩾, mais ≤ et ≥ me semblent d’usage plus répandus
>>>> aujourd’hui.
>>>>
>>>> En ce qui concerne la page
>>>> <https://fr.wikipedia.org/wiki/In%C3%A9galit%C3%A9_%28math%C3%A9matiques%29>,
>>>> elle utilise indifféremment l’un ou l’autre, tandis que sa traduction
>>>> anglaise utilise uniquement ≤ ≥. Ce serait une différence linguistique ?
>>>>
>>>> julien
>>>>
>>>
>>> Oui il me semble que ⩽ et ⩾ sont plus européen alors que ≤ et ≥ anglo-saxon/américain.
>>> Peut être une bonne occase d'améliorer la page Kikipédia :þ
> C’est fait.
>>
>> D’après ce que je comprends de ce document
>> <http://www.unicode.org/reports/tr28/tr28-3.html> (détails d’Unicode
>> 3.2), ≤ et ≥ ont été gardés pour la compatibilité mais Unicode conseille
>> leur version inclinée, ⩽ et ⩾.
> 
> Je n’ai pas trouvé ; pourrais-tu nous citer l’endroit dans ce rapport s’il te plaît ?
> 
> Marcel

Je me suis plantée, en fait ce document ne dit rien concernant les
symboles. J’ai posé la question à @unicode sur Twitter mais je ne sais
si j’aurais une réponse, on verra bien. Vu que ces symboles sont plus
récents et à priori équivalents, et qu’en plus ils sont correspondent
visuellement à tous les dérivés (càd: ≶≷≸≹⩿⪀⪁⪂⪃⪄ etc.). Notons qu’il
n’existe pas d’équivalent à ≰≱ et que vu la politique d’Unicode, ce
dernier doit probablement recommander d’utiliser la barre inscrite
combinante (comme ceci: ⩽̸⩾̸).


-- 
Pour ne plus recevoir les messels de cette liste de discussion, envoyez un messel avec pour destinataire discussions-REQUEST@xxxxxxxxxxx et pour sujet "unsubscribe".