From 106a8a7fb4390736076d359c71e0522b962429d2 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Thu, 29 Sep 2005 14:42:17 +0000 Subject: [PATCH] * required for the blob icon --- helm/ocaml/cic_notation/doc/manfnt.sty | 74 ++++++++++++++++++++++++++ 1 file changed, 74 insertions(+) create mode 100644 helm/ocaml/cic_notation/doc/manfnt.sty diff --git a/helm/ocaml/cic_notation/doc/manfnt.sty b/helm/ocaml/cic_notation/doc/manfnt.sty new file mode 100644 index 000000000..c332cc6fc --- /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'. -- 2.39.2