%%%========================================================================
%%% @TeX-font-metrics-file{
%%%    author              = "Alan Jeffrey",
%%%    version             = "1.915",
%%%    date                = "26 October 2000",
%%%    time                = "11:36:00 CEST",
%%%    filename            = "mathex.mtx",
%%%    email               = "fontinst@cogs.susx.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.", 
%%%    package             = "fontinst",
%%%    dependencies        = "fontinst.sty, fontdoc.sty",
%%% }
%%%========================================================================
\relax
\documentclass[twocolumn]{article}
\usepackage{fontdoc}[1999/11/04]

\title{The \texttt{fontinst} math symbol glyphs}
\author{Alan Jeffrey}
\date{January 10, 1994}
% \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 \texttt{fontinst} 
package when generating math symbol fonts.

\raggedright

\metrics

% Uses the fontinst package.

\needsfontinstversion{1.900}

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

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

\begincomment
\section{Math symbol glyphs}
\endcomment

\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

\section{Changes}


29 Dec 1993, v1.30: Created file.

3 Jan 1994, v1.301: Renamed some of the glyphs, added fakes for 
\texttt{arrowverttp} and friends.

8 Jan 1994, v1.304: Renamed \texttt{similareq} to \texttt{similarequal}.

9 Jan 1994, v1.305: 
Renamed some glyphs to use the same names as Lucida New Math.

10 Jan 1994, v1.306: Split \texttt{mathsym.mtx} into \texttt{mathsy.mtx} 
(math symbols) and \texttt{mathex.mtx} (math extensions).

16 October 2000, v\,1.915: Updated markup (made it a \LaTeXe\ 
document!). (LH)

\end{document}