<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% 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}{
      &lt;5&gt; &lt;6&gt; &lt;7&gt; &lt;8&gt; &lt;9&gt; &lt;10&gt; gen * mbb
      &lt;10.95&gt; mbb10 &lt;12&gt; &lt;14.4&gt; mbb12 &lt;17.28&gt; &lt;20.74&gt; &lt;24.88&gt; mbb17
      }{}
\DeclareSymbolFont{mbb}{OT1}{mbb}{m}{n}
%
\DeclareFontShape{OT1}{mbb}{bx}{n}{
      &lt;5&gt; &lt;6&gt; &lt;7&gt; &lt;8&gt; &lt;9&gt; &lt;10&gt; gen * mbb
      &lt;10.95&gt; mbb10 &lt;12&gt; &lt;14.4&gt; mbb12 &lt;17.28&gt; &lt;20.74&gt; &lt;24.88&gt; 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


</pre></body></html>