Wojciech Jaworski / ENIAM

dsfont.sty 230 Bytes
1 2 3 4 5 6 7 8 9 
\ProvidesPackage{dsfont}
  [1995/08/01 v0.1 Double stroke roman fonts]

\def\ds@whichfont{dsrom}
\DeclareOption{sans}{\def\ds@whichfont{dsss}}
\ProcessOptions\relax

\DeclareMathAlphabet{\mathds}{U}{\ds@whichfont}{m}{n}
\endinput