Re: Fontes pour les maths

[Thierry Bouche <thierry.bouche@xxxxxxxxxxxxxxx>]

Olivier RANDIER a écrit :
> Il m'a semblé que l'option la plus viable
> était de prévoir, par interpolation, une vingtaine de signes pour chaque,
> de manière à couvrir de une à dix lignes de hauteur, par demi-ligne (pour
> un interlignage idéal).

je connais un système qui en propose 255 ...

> D'autre part, je me suis rendu compte, en essayant,
> qu'il n'y a pas de limite en type 1 à la hauteur des signes (alors qu'il y
> a une limite en largeur, en tout cas dans FontStudio). 


bizarre, si la bbox d'un caractère excède certaines dimensions, pas mal
de RIP explosent. 
Pb justement rencontré sur une police d'accolades extensibles.


> Pour les signes ayant deux axes d'enjambement (somme, produit), j'envisage
> un système mixte : signes interpolés pour la hauteur, raccords en kit pour
> la largeur. Qu'en pensez-vous ?

ça me semble monstrueux. déjà les exemples de signes de sommations en
chewing-gums de la thèse de Jacques m'avaient donné le mal au coeur. Un
signe de somme, c'est un sigma qui a acquis une signification donc un
dessin propre, mais ça ne s'étend pas à la hussarde de tous côtés. Une
intégrale n'a pas non plus vraiment de raisons de s'étendre à l'infini ;
les seules choses qui doivent vraiment pouvoir exister dans toutes les
dimensions, ce sont les accolades, les parenthèses, les crochets, les
filets... (horizontal et vertical)

les symboles sont des symboles, il n'y a pas de raison qu'ils soient
déformés.

 
> Question corrolaire, moins immédiate : il y a deux possibilités pour le
> codage des fontes de signes enjambants. Soit, comme je l'ai fait pour le
> moment, je crée une fonte par signe dans laquelle je regroupe toutes les
> tailles (par exemple, une fonte d'accolades avec 20 tailles dedans). Soit
> je crée une fonte par taille et je regroupe les différents signes (par
> exemple une fonte pour tous les signes de 5 lignes et demi). Votre avis ?

du point de vue de TeX, la première solution est idéale : on demande à
tex le premier caractère de la liste dans une taille qu'il détermine
tout seul à partir de ce qu'il doit englober, et zioup, il sélectionne
le bon (condition : être dans la même police, et avoir des instructions
NEXTLARGER). De tout autre point de vue, vu qu'on saisit un codage, je
suppose que si c'est l'opérateur qui doit trouver tout seul la bonne
taille, il préfère le faire en changeant de police...?

Th.