fix accent (TODO: fix gitweb...)
[ppam-mpi.git] / communication / slides / dsfont.sty
... / ...
CommitLineData
1\ProvidesPackage{dsfont}
2 [1995/08/01 v0.1 Double stroke roman fonts]
3
4\def\ds@whichfont{dsrom}
5\DeclareOption{sans}{\def\ds@whichfont{dsss}}
6\ProcessOptions\relax
7
8\DeclareMathAlphabet{\mathds}{U}{\ds@whichfont}{m}{n}
9\endinput