Le fichier des symboles a été obtenu de la façon suivante :
-
Compilation
du
source
TeX puis
affichage
avec
dviwin.
La
taille
d'affichage
est
de
Zoom
3,
pour
une
résolution
de
600
dpi.
-
Copie
dans
le
presse-papiers
avec
Alt
+
ImpEcran.
-
Collage
dans
MS
Paint
à
partir
du
presse-papiers.
-
Découpage
de
l'image
en
laissant
un
peu
de
blanc
autour
du
tableau
des
symboles,
de
sorte
que
les
symboles
soient
bien
centrés
dans
les
boutons.
-
Création
d'une
nouvelle
image
à
la
taille
du
presse-papiers
et
collage
du
contenu
du
presse-papiers.
-
Sauvegarde
dans
un
fichier
bmp
en
16
couleurs.
Pour certains panneaux, il est possible d'utiliser trois tailles différentes de boutons, au
cas où il y aurait des problèmes de mémoire, et/ou au cas où les symboles seraient
considérés comme trop grands (ou trop petits) pour la résolution de l'écran. Les différents
fichiers sont indexés en ajoutant p, m ou g à la fin du nom de fichier (pour petit, moyen
et grand). Ceci a été fait pour les flèches de l'AMS (fichiers amsarwg.bmp, amsarwm.bmp
et amsarwp.bmp) et les opérateurs binaires de l'AMS. Par exemple, la taille des
boutons du panneau des flèches de l'AMS peut être modifiée en recopiant l'un de ces
fichiers sous le nom amsarw.bmp. Tous les autres boutons peuvent bien sûr être
agrandis ou rapetissés de la même manière, en partant des fichiers *.tex des
symboles.
