Re: [Math] Math Pi 6

[Florent Guillaume <efgeor@xxxxxxx>]

D'accord pour le reste, mais pas là-dessus :

> > Taquets
> > On trouve ensuite une série qui semble correspondre aux signes Unicodes
> > 22A2 Taquet droit
> > 22A3 Taquet gauche
> > 22A4 Taquet vers le bas
> > 22A5 Taquet vers le bas
> > Quelle taille et quelles proportions ces signes doivent-ils avoir ? Dans
> > les tableaux de Patrick, ils sont constitués de deux droites de même
> > longueur, l'une partant du milieu de l'autre, le tout de la taille d'un
> > opérateur. Dans Math Pi, elles ont plutôt la forme d'un plus ayant perdu
> > une branche, l'ensemble étant de la taille d'une cap. Je serais tenté,
> > moi, de les baser sur le plus pour la taille et la forme. Des avis ?
> 
>   Je serais plutôt d'accord avec toi.

Pas d'accord. La version des tableau de Patrick est correcte et
correspond à l'usage dans TeX en maths et en informatique théorique.

22A2 est un signe indiquant l'implication.
22A4 est couramment appelé "top" et 22A5 "bottom" (ce que ne mentionne
d'ailleurs pas le tableau d'Unicode que j'ai sous les yeux).

Ces signes sont nettement plus gros qu'un "plus" amputé, ils ont une
taille semblable aux autres opérateurs.


Florent