* required for the blob icon

diff --git a/helm/ocaml/cic_notation/doc/manfnt.sty b/helm/ocaml/cic_notation/doc/manfnt.sty
new file mode 100644 (file)
index 0000000..c332cc6
--- /dev/null
+++ b/helm/ocaml/cic_notation/doc/manfnt.sty
@@ -0,0 +1,74 @@
+%%
+%% This is file `manfnt.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% manfnt.dtx 
+%% 
+%% Copyright (C) 1998 - 99 by Axel Kielhorn, all rights reserved
+%% Copyright (C) 1999 by Denis Kosygin, all rights reserved.
+%% For additional copyright information see further down in this file.
+%% 
+%% This file is to be used with the LaTeX2e system.
+%% ------------------------------------------------
+%% 
+%% This program can be redistributed and/or modified under the terms
+%% of the LaTeX Project Public License Distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt; either
+%% version 1 of the License, or any later version.
+%% 
+%% Copyright (C) 1998 - 99 by Axel Kielhorn, all rights reserved
+%% Copyright (C) 1999 by Denis Kosygin, all rights reserved.
+%%
+%% This program can be redistributed and/or modified under the terms
+%% of the LaTeX Project Public License Distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt; either
+%% version 1 of the License, or any later version.
+\def\fileversion{0.2}
+\def\filedate{1999/07/01}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{manfnt}[\filedate \fileversion LaTeX2e manfnt package]
+\DeclareFontFamily{U}{manual}{}
+\DeclareFontShape{U}{manual}{m}{n}{ <->  manfnt }{}
+\newcommand{\manfntsymbol}[1]{%
+    {\fontencoding{U}\fontfamily{manual}\selectfont\symbol{#1}}}
+\newcommand{\manhpennib}{\manfntsymbol{21}}
+\newcommand{\mantiltpennib}{\manfntsymbol{22}}
+\newcommand{\manvpennib}{\manfntsymbol{23}}
+\newcommand{\mankidney}{\manfntsymbol{17}}
+\newcommand{\manboldkidney}{\manfntsymbol{18}}
+\newcommand{\manpenkidney}{\manfntsymbol{19}}
+\newcommand{\manlhpenkidney}{\manfntsymbol{20}}
+\newcommand{\manquartercircle}{\manfntsymbol{32}}
+\newcommand{\manfilledquartercircle}{\manfntsymbol{33}}
+\newcommand{\manrotatedquartercircle}{\manfntsymbol{34}}
+\newcommand{\mancone}{\manfntsymbol{35}}
+\newcommand{\manconcentriccircles}{\manfntsymbol{36}}
+\newcommand{\manconcentricdiamond}{\manfntsymbol{37}}
+\newcommand{\mantriangleright}{\manfntsymbol{120}}% Triangle for exercises
+\newcommand{\mantriangleup}{% Upper triangle for Addison-Wesley logo
+  \manfntsymbol{54}}
+\newcommand{\mantriangledown}{% Lower triangle for Addison-Wesley logo
+  \manfntsymbol{55}}
+\newcommand{\mancube}{\manfntsymbol{28}}
+\newcommand{\manimpossiblecube}{\manfntsymbol{29}}
+\newcommand{\manquadrifolium}{\manfntsymbol{38}}% \fouru
+\newcommand{\manrotatedquadrifolium}{\manfntsymbol{39}}% \fourc
+\newcommand{\manstar}{\manfntsymbol{30}}% Bicentennial star
+\newcommand{\manerrarrow}{\manfntsymbol{121}}% Arrow for errata lists
+\newcommand{\dbend}{\manfntsymbol{127}}% Z-shaped
+\newcommand{\lhdbend}{\manfntsymbol{126}}% Lefthanded (S-shaped)
+\newcommand{\reversedvideodbend}{\manfntsymbol{0}}% Reversed video
+\newcommand{\textdbend}{\text@dbend{\dbend}}
+\newcommand{\textlhdbend}{\text@dbend{\lhdbend}}
+\newcommand{\textreversedvideodbend}{\text@dbend{\reversedvideodbend}}
+\newlength{\dbend@height}
+\newcommand{\text@dbend}[1]{%
+  \settoheight{\dbend@height}{#1}%
+  \divide\dbend@height by 15%
+  \multiply\dbend@height by 22%
+  \raisebox{\dbend@height}{#1}}
+\endinput
+%%
+%% End of file `manfnt.sty'.