12 Nov
2004
12 Nov
'04
10:06 a.m.
At 10:42 +0100 12/11/04, Tobias Burnus wrote:
Well, this should work if you have that font, which is part of standard teTeX and probably also of standard fpTeX and thus TeXLive. Otherwise you can find it on CTAN.
Tobias
I have the TeX installation of Gerben Wierda, on Mac OS X 10.3, but I wanted to experiment your suggestion of \definefont[BBMFont][bbm12 sa *] \def\Bbm#1% {{\hbox{\BBMFont #1}}} However the result of ${\Bbm R}$ is not a blackboard bold R, but some other character resembling the delimiter |. Actually with ConTeXt there are many fonts that I can't use correctely... In any case thank you for your insight. Best regards: OK