[OS X TeX] blackboard bold semicolon

[David Watson]

On Jul 23, 2008, at 8:17 PM, Art Werschulz wrote:

> Hi.
>
> I am trying to produce a blackboard bold semicolon.  My test file is  
> as follows:
> <snip>

> Following the advice in the "Comprehensive LaTeX Symbol List", I  
> have tried this using the amsfonts, amssymb, txfonts, pxfonts,  
> mathbbol, bbm, and dsfont packages (with the variant versions of the  
> \mathbb command).  I didn't try the bbol or mbboard packages, since  
> they are not installed.
>
> None of these produced a blackboard bold semicolon---just the normal  
> semicolon.
> <snip>

Same results with the mt2pro fonts.

>
> Note that the blackboard bold semicolon showed up ok in "tex  
> testfont", using bbold10 (or bbold17) as the test font.
>
> Any idea what I'm doing wrong here?  Thanks.

I got the same results with bbold10. None, but I'm sure Bruno does.