Re: [Math] Math Pi 6

[Florent Guillaume <efgeor AT noos.fr>]

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