Remplacement du symbole \ emptyset par un autre d'une famille de polices différente dans LaTeX

Donc j'aime bien les polices Anttor et j'aimerais les utiliser dans LaTeX. Tout est sympa, sauf que le symbole \emptyset est moche. Je voudrais simplement \renewcommand la commande null set, mais je ne peux pas savoir comment appeler, disons, l'ordinateur moderne \emptyset lorsque vous utilisez une famille de polices différente partout ailleurs.Remplacement du symbole emptyset par un autre d'une famille de polices différente dans LaTeX

Existe-t-il un moyen rapide de faire cela?

Source

2010-06-30 Seamus

\font\cmsy = cmsy10 at 12pt 
\hbox{\cmsy \char 59} 
\font\msbm = msbm10 at 12pt 
\hbox{\msbm \char 63}

alt text http://i2.imageban.ru/out/2010/07/01/f833a099025778a2fa26361f7cd0a0ef.png

Source

2010-07-01 10:06:49

cela vous dérangerait de commentaires pour expliquer ce que ce code fait? que veut dire '\ cmsy'? – Seamus

Ok. '\ cmsy' est ma macro. Il est défini par la commande '\ font'. '\ cmsy' est réglé sur la police' cmsy10' à une hauteur de 12 pt. 'cmsy10' a le caractère' emptyset' (59ème). –

Remplacement du symbole \ emptyset par un autre d'une famille de polices différente dans LaTeX

Répondre

Questions connexes