%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% This is the file ma1sy.mtx, part of the `makemma' subpackage
%% of the MathInst package
%% (version 0.8, January , 1998) for math font 
%% generation.  (Author: Alan Hoenig, ajhjj@cunyvm.cuny.edu)
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\relax

This file renames glyphs to a more standard name.  This is file
`ma1sy.mtx'; it selects and renames Mathematica glyphs in the Math1 font
to those in a traditional math symbol font layout.

\metrics

\setcommand\renameas#1#2{\ifisglyph{#1}\then
  \setglyph{#2}
    \glyph{#1}{1000}
  \endsetglyph
  \unsetglyph{#1}
\fi}

%% Some glyphs are, by chance, properly named.  We need to save them,
%% and not unset them when we cancel the Adobe encoding.

\setcommand\renameandsave#1#2{\ifisglyph{#1}\then
  \setglyph{#2saved}
    \glyph{#1}{1000}
  \endsetglyph
  \unsetglyph{#1}
\fi}
\setcommand\save#1{\renameas{#1}{#1saved}}

\save{plusminus}
\save{greaterequal}
\save{braceleft}
\save{braceright}

\renameandsave{ydieresis}{logicalnot}
\renameandsave{product}{divide}

\renameas{hyphen}{minus}
\renameandsave{dagger}{periodcentered}
\renameas{yen}{multiply}
\renameas{asterisk}{asteriskmath}
\renameas{daggerdbl}{diamondmath}
\renameas{approxequal}{circleplus}
\renameas{florin}{circlemultiply}
\renameas{integral}{equivalence}
\renameas{Otilde}{reflexsubset}
\renameas{nbspace}{reflexsuperset}
\renameandsave{sterling}{lessequal}
\renameas{asciitilde}{similar}
\renameandsave{ordfeminine}{approxequal}
\renameas{Atilde}{propersubset}
\renameas{ellipsis}{propersuperset}
\renameas{Udieresis}{lessmuch}
\renameas{aacute}{greatermuch}
\renameas{at}{similarequal}
\renameas{guilsinglleft}{arrowdblleft}
\renameas{fi}{arrowdblright}
\renameas{guilsinglright}{arrowdblup}
\renameas{fl}{arrowdbldown}
\renameas{currency}{arrowdblboth}
\renameas{mu}{proportional}
\renameas{cent}{prime}
\renameandsave{bullet}{infinity}
\renameas{OE}{element}
\renameas{dotaccent}{mapstochar}
\renameas{quotedbl}{universal}
\renameas{dollar}{existential}
\renameas{Delta}{emptysetstress}
\renameas{logicalnot}{Rfraktur}
\renameas{exclamdown}{Ifraktur}
\renameas{asciicircum}{perpendicular}
\renameas{questiondown}{aleph}
\renameas{Ydieresis}{logicaland}
\renameas{fraction}{logicalor}
\renameas{periodcentered}{angleleft}
\renameas{Ograve}{angleright}
\renameas{divide}{radicallow}
\renameas{emdash}{gradient}
\renameas{germandbls}{club}
\renameas{registered}{diamond}
\renameas{copyright}{heart}
\renameas{trademark}{spade}
\renameas{dieresis}{arrowleft}
\renameas{AE}{arrowright}
\renameas{notequal}{arrowup}
\renameas{Oslash}{arrowdown}
\renameas{acute}{arrowboth}

\endmetrics