%%%========================================================================
%%% @TeX-font-metrics-file{
%%%    author              = "Alan Jeffrey",
%%%    version             = "1.306",
%%%    date                = "10 January 1993",
%%%    time                = "17:36:29 BST",
%%%    filename            = "mathex.mtx",
%%%    address             = "School of Cognitive and Computing Sciences
%%%                           University of Sussex
%%%                           Brighton BN1 9QH
%%%                           UK",
%%%    telephone           = "+44 273 606755 x 3238",
%%%    FAX                 = "+44 273 678188",
%%%    checksum            = "???",
%%%    email               = "alanje@cogs.sussex.ac.uk",
%%%    codetable           = "ISO/ASCII",
%%%    keywords            = "encoding, math, TeX, PostScript",
%%%    supported           = "yes",
%%%    abstract            = "These are the extra glyphs needed for TeX 
%%%                           math extension fonts, used by the fontinst 
%%%                           package.", 
%%%    docstring           = "The checksum field above contains a CRC-16
%%%                           checksum as the first value, followed by the
%%%                           equivalent of the standard UNIX wc (word
%%%                           count) utility output of lines, words, and
%%%                           characters.  This is produced by Robert
%%%                           Solovay's checksum utility.",
%%%    package             = "fontinst",
%%%    dependencies        = "fontinst.sty, ltugboat.sty",
%%% }
%%%========================================================================
%
% 29 Dec 1993, v1.30: Created file.
%
% 3 Jan 1994, v1.301: Renamed some of the glyphs, added fakes for 
%    arrowverttp and friends.
%
% 8 Jan 1994, v1.304: Renamed similareq to similarequal.
%
% 9 Jan 1994, v1.305: Renamed some glyphs to use the same names as Lucida 
%    New Math.
%
% 10 Jan 1994, v1.306: Split mathsym.mtx into mathsy.mtx (math symbols) 
%    and mathex.mtx (math extensions).

\relax

\documentstyle[fontinst]{ltugboat}

\title{The {\tt fontinst} math symbol glyphs}
\author{Alan Jeffrey}
\address{School of Cognitive and Computing Sciences \\
   University of Sussex \\
   Falmer \\
   Brighton \\
   BN1 9QH \\
   UK}
\netaddress{alanje@cogs.susx.ac.uk}

\begin{document}

\maketitle

\section{Introduction}

This document describes the glyphs used by the {\tt fontinst} 
package when generating math symbol fonts.

\raggedright

\metrics

% Uses the fontinst package.

\needsfontinstversion{1.305}

% \unfakable is a glyph which can't be faked.

\setcommand\unfakable#1{
   \setglyph{#1}
      \glyphrule{500}{500}
      \glyphwarning{missing glyph `#1'}
   \endsetglyph
}

\comment{\section{Math symbol glyphs}}

\unfakable{minus}
\unfakable{periodcentered}
\unfakable{multiply}
\unfakable{asteriskmath}
\unfakable{divide}
\unfakable{diamondmath}
\unfakable{plusminus}
\unfakable{minusplus}
\unfakable{circleplus}
\unfakable{circleminus}
\unfakable{circlemultiply}
\unfakable{circledivide}
\unfakable{circledot}
\unfakable{circlecopyrt}
\unfakable{bullet}
\unfakable{equivasymptotic}
\unfakable{equivalence}
\unfakable{reflexsubset}
\unfakable{reflexsuperset}
\unfakable{lessequal}
\unfakable{greaterequal}
\unfakable{precedesequal}
\unfakable{followsequal}
\unfakable{similar}
\unfakable{approxequal}
\unfakable{propersubset}
\unfakable{propersuperset}
\unfakable{curlyless}
\unfakable{curlygreater}
\unfakable{arrowleft}
\unfakable{arrowright}
\unfakable{arrowup}
\unfakable{arrowdown}
\unfakable{arrowboth}
\unfakable{arrownortheast}
\unfakable{arrowsoutheast}
\unfakable{similarequal}
\unfakable{arrowdblleft}
\unfakable{arrowdblright}
\unfakable{arrowdblup}
\unfakable{arrowdbldown}
\unfakable{arrowdblboth}
\unfakable{arrownorthwest}
\unfakable{arrowsouthwest}
\unfakable{proportional}
\unfakable{infinity}
\unfakable{element}
\unfakable{owner}
\unfakable{triangle}
\unfakable{triangleinv}
\unfakable{slash}
\unfakable{mapstochar}
\unfakable{universal}
\unfakable{existential}
\unfakable{logicalnot}
\unfakable{emptyset}
\unfakable{Rfraktur}
\unfakable{Ifraktur}
\unfakable{perpendicular}
\unfakable{latticetop}
\unfakable{aleph}
\unfakable{A}
\unfakable{B}
\unfakable{C}
\unfakable{D}
\unfakable{E}
\unfakable{F}
\unfakable{G}
\unfakable{H}
\unfakable{I}
\unfakable{J}
\unfakable{K}
\unfakable{L}
\unfakable{M}
\unfakable{N}
\unfakable{O}
\unfakable{P}
\unfakable{Q}
\unfakable{R}
\unfakable{S}
\unfakable{T}
\unfakable{U}
\unfakable{V}
\unfakable{W}
\unfakable{X}
\unfakable{Y}
\unfakable{Z}
\unfakable{union}
\unfakable{intersection}
\unfakable{logicaland}
\unfakable{logicalor}
\unfakable{turnstileleft}
\unfakable{turnstileright}
\unfakable{braceleft}
\unfakable{braceright}
\unfakable{angleleft}
\unfakable{angleright}
\unfakable{bar}
\unfakable{arrowbothv}
\unfakable{arrowdblbothv}
\unfakable{backslash}
\unfakable{wreathproduct}
\unfakable{coproduct}
\unfakable{gradient}
\unfakable{integral}
\unfakable{unionsq}
\unfakable{intersectionsq}
\unfakable{subsetsqequal}
\unfakable{supersetsqequal}
\unfakable{section}
\unfakable{dagger}
\unfakable{daggerdbl}
\unfakable{paragraph}
\unfakable{club}
\unfakable{diamond}
\unfakable{heart}
\unfakable{spade}

\unfakable{degree}

\setglyph{largedegree}
   \glyph{degree}{
      \div{\mul{1000}{\width{bullet}}}{\width{degree}}
   }
\endsetglyph

\setglyph{openbullet}
   \moveup{\sub{\height{bullet}}{\height{largedegree}}}
   \glyph{largedegree}{1000}
   \moveup{\sub{\height{largedegree}}{\height{bullet}}}
\endsetglyph

\unfakable{minute}

\setglyph{prime}
   \moveup{\sub{\height{bullet}}{\height{largedegree}}}
   \glyph{minute}{\div{\mul{1000}{\width{bullet}}}{\width{degree}}}
   \moveup{\sub{\height{largedegree}}{\height{bullet}}}
\endsetglyph
 
\unfakable{less}
\unfakable{greater}
  
\setglyph{lessmuch}
   \glyph{less}{1000}
   \movert{\scale{\width{less}}{-400}}
   \glyph{less}{1000}
\endsetglyph

\setglyph{greatermuch}
   \glyph{greater}{1000}
   \movert{\scale{\width{greater}}{-400}}
   \glyph{greater}{1000}
\endsetglyph

\unfakable{zero}

\setglyph{emptysetstress}
   \push
      \movert{
         \div{\sub{\width{zero}}{\width{slash}}}{2}
      }
      \moveup{
         \div{
            \sub{
               \add{\height{zero}}{\depth{slash}}
            }{
               \add{\height{slash}}{\depth{zero}}
            }
         }{2}
      }
      \glyph{slash}{1000}
   \pop
   \glyph{zero}{1000}
\endsetglyph

\setglyph{unionmulti}
   \push
      \movert{\div{\sub{\width{union}}{\scale{\width{plus}}{700}}}{2}}
      \moveup{\div{\width{plus}}{4}}
      \glyph{plus}{700}
   \pop
   \glyph{union}{1000}
\endsetglyph

\unfakable{bracketleftbt}
\unfakable{bracketrightbt}
\unfakable{bracketlefttp}
\unfakable{bracketrighttp}

\setglyph{floorleft}
   \glyph{bracketleftbt}{1000}
\endsetglyph

\setglyph{floorright}
   \glyph{bracketrightbt}{1000}
\endsetglyph

\setglyph{ceilingleft}
   \glyph{bracketlefttp}{1000}
\endsetglyph

\setglyph{ceilingright}
   \glyph{bracketrighttp}{1000}
\endsetglyph

\setglyph{bardbl}
   \glyph{bar}{1000}
   \glyph{bar}{1000}
\endsetglyph

\unfakable{radical}
\unfakable{radicalex}

\setglyph{radicallow}
   \moveup{\sub{\add{\height{radicalex}}{\depth{radicalex}}}{\height{radical}}}
   \glyph{radical}{1000}
   \moveup{\sub{\height{radical}}{\int{underlinethickness}}}
\endsetglyph

\setglyph{negationslash}
   \push
      \movert{\div{\sub{\width{arrowright}}{\width{slash}}}{2}}
      \glyph{slash}{1000}
   \pop
\endsetglyph

\endmetrics

\end{document}

\endmetrics

\end{document}

