% blackboard typefaces by Anthony Phan.
% file: mbboard.tex (\TeX' file for mbb's fonts)
% last modification: November 1st, 1999.
%
\catcode`@=11
%
% mbb's font declarations
%
\DeclareFontFamily{OT1}{mbb}{\hyphenchar\font45}
%
\DeclareFontShape{OT1}{mbb}{m}{n}{
      <5> <6> <7> <8> <9> <10> gen * mbb
      <10.95> mbb10 <12> <14.4> mbb12 <17.28> <20.74> <24.88> mbb17
      }{}
\DeclareSymbolFont{mbb}{OT1}{mbb}{m}{n}
%
\DeclareFontShape{OT1}{mbb}{bx}{n}{
      <5> <6> <7> <8> <9> <10> gen * mbb
      <10.95> mbb10 <12> <14.4> mbb12 <17.28> <20.74> <24.88> mbb17
      }{}
\DeclareSymbolFont{mbb}{OT1}{mbb}{bx}{n}
%
\DeclareSymbolFontAlphabet{\mathbb}{mbb}
\DeclareFontSubstitution{OT1}{mbb}{m}{n}
\DeclareRobustCommand\bbfamily
        {\not@math@alphabet\bbfamily\mathbb
         \fontfamily{mbb}\selectfont}
\DeclareTextFontCommand{\textbb}{\bbfamily}
%
% no proofmode
%
\def\symbol@message#1{\relax}
\input mbboard.dcl
%
% end of file.
%
\catcode`@=12
\endinput