[OS X TeX] blackboard bold semicolon

[Art Werschulz]

Hi.

I received a lot of good suggestions, which I tested out:

<snip>
\documentclass{article}

\usepackage{amssymb}
\usepackage{mathbbol}
\usepackage{bbold}
\usepackage{mathtime}
\DeclareMathSymbol{\bbsemicolon}{\mathpunct}{bbold}{"3B}

\newcommand{\covr}{\mathrel{\hbox{\textbb{;}}}}
\newcommand{\covb}{\mathbin{\hbox{\textbb{;}}}}
\newcommand{\covo}{\mathord{\hbox{\textbb{;}}}}
\newcommand\bbsemi{\mathop{\mbox{\textbb;}}}

\begin{document}
\begin{tabular}{ll}
\verb|$R\bbsemicolon S$| & $R\bbsemicolon S$ \\
\verb|$R\covr S$| & $R\covr S$ \\
\verb|$R\covb S$| & $R\covb S$ \\
\verb|$R\bbsemi S$| & $R\bbsemi S$
\end{tabular}
\end{document}
</snip>

The last three look identical to my naked eye, and I like their  
spacing better than the first.  I'll probably choose \mathbin, since  
the semicolon is being used as a binary operator.

Thanks for all your help.


Art Werschulz
207 Stoughton Avenue, Cranford  NJ 07016-2838
(908) 272-1146