helm/ocaml/cic_notation/doc/manfnt.sty

   1 %%
   2 %% This is file `manfnt.sty',
   3 %% generated with the docstrip utility.
   4 %%
   5 %% The original source files were:
   6 %%
   7 %% manfnt.dtx
   8 %%
   9 %% Copyright (C) 1998 - 99 by Axel Kielhorn, all rights reserved
  10 %% Copyright (C) 1999 by Denis Kosygin, all rights reserved.
  11 %% For additional copyright information see further down in this file.
  12 %%
  13 %% This file is to be used with the LaTeX2e system.
  14 %% ------------------------------------------------
  15 %%
  16 %% This program can be redistributed and/or modified under the terms
  17 %% of the LaTeX Project Public License Distributed from CTAN
  18 %% archives in directory macros/latex/base/lppl.txt; either
  19 %% version 1 of the License, or any later version.
  20 %%
  21 %% Copyright (C) 1998 - 99 by Axel Kielhorn, all rights reserved
  22 %% Copyright (C) 1999 by Denis Kosygin, all rights reserved.
  23 %%
  24 %% This program can be redistributed and/or modified under the terms
  25 %% of the LaTeX Project Public License Distributed from CTAN
  26 %% archives in directory macros/latex/base/lppl.txt; either
  27 %% version 1 of the License, or any later version.
  28 \def\fileversion{0.2}
  29 \def\filedate{1999/07/01}
  30 \NeedsTeXFormat{LaTeX2e}
  31 \ProvidesPackage{manfnt}[\filedate \fileversion LaTeX2e manfnt package]
  32 \DeclareFontFamily{U}{manual}{}
  33 \DeclareFontShape{U}{manual}{m}{n}{ <->  manfnt }{}
  34 \newcommand{\manfntsymbol}[1]{%
  35     {\fontencoding{U}\fontfamily{manual}\selectfont\symbol{#1}}}
  36 \newcommand{\manhpennib}{\manfntsymbol{21}}
  37 \newcommand{\mantiltpennib}{\manfntsymbol{22}}
  38 \newcommand{\manvpennib}{\manfntsymbol{23}}
  39 \newcommand{\mankidney}{\manfntsymbol{17}}
  40 \newcommand{\manboldkidney}{\manfntsymbol{18}}
  41 \newcommand{\manpenkidney}{\manfntsymbol{19}}
  42 \newcommand{\manlhpenkidney}{\manfntsymbol{20}}
  43 \newcommand{\manquartercircle}{\manfntsymbol{32}}
  44 \newcommand{\manfilledquartercircle}{\manfntsymbol{33}}
  45 \newcommand{\manrotatedquartercircle}{\manfntsymbol{34}}
  46 \newcommand{\mancone}{\manfntsymbol{35}}
  47 \newcommand{\manconcentriccircles}{\manfntsymbol{36}}
  48 \newcommand{\manconcentricdiamond}{\manfntsymbol{37}}
  49 \newcommand{\mantriangleright}{\manfntsymbol{120}}% Triangle for exercises
  50 \newcommand{\mantriangleup}{% Upper triangle for Addison-Wesley logo
  51   \manfntsymbol{54}}
  52 \newcommand{\mantriangledown}{% Lower triangle for Addison-Wesley logo
  53   \manfntsymbol{55}}
  54 \newcommand{\mancube}{\manfntsymbol{28}}
  55 \newcommand{\manimpossiblecube}{\manfntsymbol{29}}
  56 \newcommand{\manquadrifolium}{\manfntsymbol{38}}% \fouru
  57 \newcommand{\manrotatedquadrifolium}{\manfntsymbol{39}}% \fourc
  58 \newcommand{\manstar}{\manfntsymbol{30}}% Bicentennial star
  59 \newcommand{\manerrarrow}{\manfntsymbol{121}}% Arrow for errata lists
  60 \newcommand{\dbend}{\manfntsymbol{127}}% Z-shaped
  61 \newcommand{\lhdbend}{\manfntsymbol{126}}% Lefthanded (S-shaped)
  62 \newcommand{\reversedvideodbend}{\manfntsymbol{0}}% Reversed video
  63 \newcommand{\textdbend}{\text@dbend{\dbend}}
  64 \newcommand{\textlhdbend}{\text@dbend{\lhdbend}}
  65 \newcommand{\textreversedvideodbend}{\text@dbend{\reversedvideodbend}}
  66 \newlength{\dbend@height}
  67 \newcommand{\text@dbend}[1]{%
  68   \settoheight{\dbend@height}{#1}%
  69   \divide\dbend@height by 15%
  70   \multiply\dbend@height by 22%
  71   \raisebox{\dbend@height}{#1}}
  72 \endinput
  73 %%
  74 %% End of file `manfnt.sty'.