开发者

Replacing \emptyset symbol with one from a different font family in LaTeX

开发者 https://www.devze.com 2023-01-05 10:39 出处:网络
So I quite like the Anttor fonts and I\'d like to use them in LaTeX. Everything is nice, except the \\emptyset symbol is ugly. I\'d like to just \\renewcommand the null set command, but I can\'t work

So I quite like the Anttor fonts and I'd like to use them in LaTeX. Everything is nice, except the \emptyset symbol is ugly. I'd like to just \renewcommand the null set command, but I can't work out how to call, say, the computer modern \emptyset when using a different font family everywhere else.

Is there a quick way to do thi开发者_JS百科s?


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

Replacing \emptyset symbol with one from a different font family in LaTeX


(source: imageban.ru)

0

精彩评论

暂无评论...
验证码 换一张
取 消