%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% This is the file lbms.etx, part of the MathInst package
%% (version 1.0, August, 1998) for math font 
%% generation.  (Author: Alan Hoenig, ajhjj@cunyvm.cuny.edu)
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\relax

\encoding

%% This part comes from OMS.etx...

\needsfontinstversion{1.5}

\setstr{codingscheme}{TEX MATH SYMBOLS}

\setint{italicslant}{0}

\ifisglyph{x}\then
   \setint{xheight}{\height{x}}
\else
   \setint{xheight}{500}
\fi

\setslot{minus}
   \comment{The subtraction symbol `$-$'.}
\endsetslot

\setslot{periodcentered}
   \comment{The centered dot symbol `$\cdot$'.}
\endsetslot

\setslot{multiply}
   \comment{The multiplication symbol `$\times$'.}
\endsetslot

\setslot{asteriskmath}
   \comment{The centered asterisk symbol `$*$'.}
\endsetslot

\setslot{divide}
   \comment{The division symbol `$\div$'.}
\endsetslot

\setslot{diamondmath}
   \comment{The diamond symbol `$\diamond$'.}
\endsetslot

\setslot{plusminus}
   \comment{The plus or minus symbol `$\pm$'.}
\endsetslot

\setslot{minusplus}
   \comment{The minus or plus symbol `$\mp$'.}
\endsetslot

\setslot{circleplus}
   \comment{The circled plus symbol `$\oplus$'.}
\endsetslot

\setslot{circleminus}
   \comment{The circled minus symbol `$\ominus$'.}
\endsetslot

\setslot{circlemultiply}
   \comment{The circled multiplication symbol `$\otimes$'.}
\endsetslot

\setslot{circledivide}
   \comment{The circled oblique symbol `$\oslash$'.}
\endsetslot

\setslot{circledot}
   \comment{The circled dot symbol `$\odot$'.}
\endsetslot

\setslot{circlecopyrt}
   \comment{The large circle symbol `$\bigcirc$' used for building the 
      copyright symbol `\copyright'.}
\endsetslot

\setslot{openbullet}
   \comment{The circle symbol `$\circ$'.}
\endsetslot

\setslot{bullet}
   \comment{The bullet symbol `$\bullet$'.}
\endsetslot

\setslot{equivasymptotic}
   \comment{The asymptotic equals symbol `$\asymp$'.}
\endsetslot

\setslot{equivalence}
   \comment{The equivalence symbol `$\equiv$'.}
\endsetslot

\setslot{reflexsubset}
   \comment{The subset or equals symbol `$\subseteq$'.}
\endsetslot

\setslot{reflexsuperset}
   \comment{The superset or equals symbol `$\supseteq$'.}
\endsetslot

\setslot{lessequal}
   \comment{The less or equals symbol `$\leq$'.}
\endsetslot

\setslot{greaterequal}
   \comment{The greater or equals symbol `$\geq$'.}
\endsetslot

\setslot{precedesequal}
   \comment{The precedes or equals symbol `$\preceq$'.}
\endsetslot

\setslot{followsequal}
   \comment{The follows or equals symbol `$\succeq$'.}
\endsetslot

\setslot{similar}
   \comment{The similar symbol `$\sim$'.}
\endsetslot

\setslot{approxequal}
   \comment{The approximate equality symbol `$\approx$'.}
\endsetslot

\setslot{propersubset}
   \comment{The subset symbol `$\subset$'.}
\endsetslot

\setslot{propersuperset}
   \comment{The superset symbol `$\supset$'.}
\endsetslot

\setslot{lessmuch}
   \comment{The much less symbol `$\ll$'.}
\endsetslot

\setslot{greatermuch}
   \comment{The much greater symbol `$\gg$'.}
\endsetslot

\setslot{curlyless}
   \comment{The precedes symbol `$\prec$'.}
\endsetslot

\setslot{curlygreater}
   \comment{The follows symbol `$\succ$'.}
\endsetslot

\setslot{arrowleft}
   \comment{The left arrow symbol `$\leftarrow$'.}
\endsetslot

\setslot{arrowright}
   \comment{The right arrow symbol `$\rightarrow$'.}
\endsetslot

\setslot{arrowup}
   \comment{The up arrow symbol `$\uparrow$'.}
\endsetslot

\setslot{arrowdown}
   \comment{The down arrow symbol `$\downarrow$'.}
\endsetslot

\setslot{arrowboth}
   \comment{The horizontal arrow symbol `$\leftrightarrow$'.}
\endsetslot

\setslot{arrownortheast}
   \comment{The north-east arrow symbol `$\nearrow$'.}
\endsetslot

\setslot{arrowsoutheast}
   \comment{The south-east arrow symbol `$\searrow$'.}
\endsetslot

\setslot{similarequal}
   \comment{The similar or equal symbol `$\simeq$'.}
\endsetslot

\setslot{arrowdblleft}
   \comment{The double left arrow symbol `$\Leftarrow$'.}
\endsetslot

\setslot{arrowdblright}
   \comment{The double right arrow symbol `$\Rightarrow$'.}
\endsetslot

\setslot{arrowdblup}
   \comment{The double up arrow symbol `$\Uparrow$'.}
\endsetslot

\setslot{arrowdbldown}
   \comment{The double down arrow symbol `$\Downarrow$'.}
\endsetslot

\setslot{arrowdblboth}
   \comment{The double horizontal arrow symbol `$\Leftrightarrow$'.}
\endsetslot

\setslot{arrownorthwest}
   \comment{The north-west arrow symbol `$\nwarrow$'.}
\endsetslot

\setslot{arrowsouthwest}
   \comment{The south-west arrow symbol `$\swarrow$'.}
\endsetslot

\setslot{proportional}
   \comment{The proportional symbol `$\propto$'.}
\endsetslot

\setslot{prime}
\endsetslot

\setslot{infinity}
   \comment{The infinity symbol `$\infty$'.}
\endsetslot

\setslot{element}
   \comment{The set membership symbol `$\in$'.}
\endsetslot

\setslot{owner}
   \comment{The backwards set membership symbol `$\ni$'.}
\endsetslot

\setslot{triangle}
   \comment{The upwards triangle symbol `$\bigtriangleup$'.}
\endsetslot

\setslot{triangleinv}
   \comment{The downwards triangle symbol `$\bigtriangledown$'.}
\endsetslot

\setslot{negationslash}
   \comment{The arrow negation symbol `$/$'.}
\endsetslot

\setslot{mapstochar}
   \comment{The maps to building block symbol `$\mapstochar$', used to 
      build `$\mapsto$'.}
\endsetslot

\setslot{universal}
   \comment{The universal quantification symbol `$\forall$'.}
\endsetslot

\setslot{existential}
   \comment{The existential quantification symbol `$\exists$'.}
\endsetslot

\setslot{logicalnot}
   \comment{The negation symbol `$\neg$'.}
\endsetslot

\setslot{emptysetstress}
   \comment{The `stressed' empty set symbol `$\emptyset$', which should 
      look like a zero with a slash.  The `emptyset' symbol is a circle 
      with a slash.}
\endsetslot

\setslot{Rfraktur}
   \comment{The upper case Fraktur R symbol `$\Re$'.}
\endsetslot

\setslot{Ifraktur}
   \comment{The upper case Fraktur I symbol `$\Im$'.}
\endsetslot

\setslot{latticetop}
   \comment{The inverted perpendicular symbol `$\top$'.}
\endsetslot

\setslot{perpendicular}
   \comment{The perpendicular symbol `$\perp$'.}
\endsetslot

\setslot{aleph}
   \comment{The aleph symbol `$\aleph$'.}
\endsetslot

\setslot{A}
   \comment{The letter `{A}'.}
\endsetslot

\setslot{B}
   \comment{The letter `{B}'.}
\endsetslot

\setslot{C}
   \comment{The letter `{C}'.}
\endsetslot

\setslot{D}
   \comment{The letter `{D}'.}
\endsetslot

\setslot{E}
   \comment{The letter `{E}'.}
\endsetslot

\setslot{F}
   \comment{The letter `{F}'.}
\endsetslot

\setslot{G}
   \comment{The letter `{G}'.}
\endsetslot

\setslot{H}
   \comment{The letter `{H}'.}
\endsetslot

\setslot{I}
   \comment{The letter `{I}'.}
\endsetslot

\setslot{J}
   \comment{The letter `{J}'.}
\endsetslot

\setslot{K}
   \comment{The letter `{K}'.}
\endsetslot

\setslot{L}
   \comment{The letter `{L}'.}
\endsetslot

\setslot{M}
   \comment{The letter `{M}'.}
\endsetslot

\setslot{N}
   \comment{The letter `{N}'.}
\endsetslot

\setslot{O}
   \comment{The letter `{O}'.}
\endsetslot

\setslot{P}
   \comment{The letter `{P}'.}
\endsetslot

\setslot{Q}
   \comment{The letter `{Q}'.}
\endsetslot

\setslot{R}
   \comment{The letter `{R}'.}
\endsetslot

\setslot{S}
   \comment{The letter `{S}'.}
\endsetslot

\setslot{T}
   \comment{The letter `{T}'.}
\endsetslot

\setslot{U}
   \comment{The letter `{U}'.}
\endsetslot

\setslot{V}
   \comment{The letter `{V}'.}
\endsetslot

\setslot{W}
   \comment{The letter `{W}'.}
\endsetslot

\setslot{X}
   \comment{The letter `{X}'.}
\endsetslot

\setslot{Y}
   \comment{The letter `{Y}'.}
\endsetslot

\setslot{Z}
   \comment{The letter `{Z}'.}
\endsetslot

\setslot{union}
   \comment{The set union symbol `$\cup$'.}
\endsetslot

\setslot{intersection}
   \comment{The set intersection symbol `$\cap$'.}
\endsetslot

\setslot{unionmulti}
   \comment{The multiset union symbol `$\uplus$'.}
\endsetslot

\setslot{logicaland}
   \comment{The meet symbol `$\wedge$'.}
\endsetslot

\setslot{logicalor}
   \comment{The join symbol `$\vee$'.}
\endsetslot

\setslot{turnstileleft}
   \comment{The turnstile symbol `$\vdash$'.}
\endsetslot

\setslot{turnstileright}
   \comment{The backwards turnstile symbol `$\dashv$'.}
\endsetslot

\setslot{floorleft}
   \comment{The left floor symbol `$\lfloor$'.}
\endsetslot

\setslot{floorright}
   \comment{The right floor symbol `$\rfloor$'.}
\endsetslot

\setslot{ceilingleft}
   \comment{The left ceiling symbol `$\lceil$'.}
\endsetslot

\setslot{ceilingright}
   \comment{The right ceiling symbol `$\rceil$'.}
\endsetslot

\setslot{braceleft}
   \comment{The left brace symbol `$\{$'.}
\endsetslot

\setslot{braceright}
   \comment{The right brace symbol `$\}$'.}
\endsetslot

\setslot{angleleft}
   \comment{The left angle bracket symbol `$\langle$'.}
\endsetslot

\setslot{angleright}
   \comment{The right angle bracket symbol `$\rangle$'.}
\endsetslot

\setslot{bar}
   \comment{The vertical bar symbol `$|$'.}
\endsetslot

\setslot{bardbl}
   \comment{The parallel vertical bars symbol `$\parallel$'.}
\endsetslot

\setslot{arrowbothv}
   \comment{The vertical arrows symbol `$\updownarrow$'.}
\endsetslot

\setslot{arrowdblbothv}
   \comment{The double vertical arrows symbol `$\Updownarrow$'.}
\endsetslot

\setslot{backslash}
   \comment{The backwards oblique symbol `$\backslash$'.}
\endsetslot

\setslot{wreathproduct}
   \comment{The Wreath product symbol `$\wp$'.}
\endsetslot

\setslot{radicallow}
   \comment{The lowered radical symbol `$\surd$'.}
\endsetslot

\setslot{coproduct}
   \comment{The textstyle coproduct symbol `$\coprod$'.}
\endsetslot

\setslot{gradient}
   \comment{The inverted Delta symbol `$\nabla$'.}
\endsetslot

\setslot{integral}
   \comment{The textstyle integral symbol `$\plainint$'.}
\endsetslot

\setslot{unionsq}
   \comment{The square union symbol `$\sqcup$'.}
\endsetslot

\setslot{intersectionsq}
   \comment{The square intersection symbol `$\sqcap$'.}
\endsetslot

\setslot{subsetsqequal}
   \comment{The square subset or equal symbol `$\sqsubseteq$'.}
\endsetslot

\setslot{supersetsqequal}
   \comment{The square superset or equal symbol `$\sqsupseteq$'.}
\endsetslot

\setslot{section}
   \comment{The section symbol `$\S$'.}
\endsetslot

\setslot{dagger}
   \comment{The dagger symbol `$\dag$'.}
\endsetslot

\setslot{daggerdbl}
   \comment{The double dagger symbol `$\ddag$'.}
\endsetslot

\setslot{paragraph}
   \comment{The paragraph symbol `$\P$'.}
\endsetslot

\setslot{club}
   \comment{The club suit symbol `$\clubsuit$'.}
\endsetslot

\setslot{diamond}
   \comment{The diamond suit symbol `$\diamondsuit$'.}
\endsetslot

\setslot{heart}
   \comment{The heart suit symbol `$\heartsuit$'.}
\endsetslot

\setslot{spade}
   \comment{The spade suit symbol `$\spadesuit$'.}
\endsetslot

%% This part names the upper half of the lucida symbol font...

\setcommand\lucidachar#1#2{
  \nextslot{#1}
  \setslot{#2}
  \endsetslot
}

\lucidachar{129}{radicalext}
\lucidachar{130}{plus}
\lucidachar{131}{equal}
\lucidachar{132}{curland}
\lucidachar{133}{curlor}
\lucidachar{134}{increment}
\lucidachar{135}{product}
\lucidachar{136}{summation}
\lucidachar{137}{dotplus}
\lucidachar{138}{rightangle}
\lucidachar{139}{angle}
\lucidachar{140}{measuredangle}
\lucidachar{141}{sphericalangle}
\lucidachar{142}{rightanglearc}
\lucidachar{143}{righttriangle}
\lucidachar{144}{therefore}
\lucidachar{145}{because}
\lucidachar{146}{colon}
\lucidachar{147}{proportion}
\lucidachar{148}{dotminus}
\lucidachar{149}{excess}
\lucidachar{150}{geomproportion}
\lucidachar{151}{homothetic}
\lucidachar{152}{sine}
\lucidachar{153}{minustilde}
\lucidachar{154}{lessmuch1}
\lucidachar{155}{approxorequal}
\lucidachar{156}{greatermuch1}
\lucidachar{157}{almostorequal}
\lucidachar{158}{tildetrpl}
\lucidachar{159}{allequal}
\lucidachar{160}{space}
\lucidachar{171}{prime1}
\lucidachar{172}{radical1}
\lucidachar{197}{lazys}
\lucidachar{198}{lazysinv}
\lucidachar{199}{geomequivalent}
\lucidachar{200}{difference}
\lucidachar{201}{approachlimit}
\lucidachar{202}{geomequal}
\lucidachar{203}{approxequalorimage}
\lucidachar{204}{imageorapproxequal}
\lucidachar{205}{colonequal}
\lucidachar{206}{equalcolon}
\lucidachar{207}{ringinequal}
\lucidachar{208}{ringequal}
\lucidachar{209}{corresponds}
\lucidachar{210}{estimates}
\lucidachar{211}{equiangular}
\lucidachar{212}{perspcorrespond}
\lucidachar{213}{deltaequal}
\lucidachar{214}{definequal}
\lucidachar{215}{measurequal}
\lucidachar{216}{questionequal}
\lucidachar{217}{strictequivalence}
\lucidachar{218}{lessdblequal}
\lucidachar{219}{greaterdblequal}
\lucidachar{220}{lessequivlnt}
\lucidachar{221}{greaterequivlnt}
\lucidachar{222}{lessorgreater}
\lucidachar{223}{greaterorless}
\lucidachar{224}{precedequivlnt}
\lucidachar{225}{followsequivlnt}
\lucidachar{226}{multiset}
\lucidachar{227}{multiplymultiset}
\lucidachar{228}{squareimage}
\lucidachar{229}{squareoriginal}
\lucidachar{230}{circlering}
\lucidachar{231}{circleasterisk}
\lucidachar{232}{circleequal}
\lucidachar{233}{circlebar}
\lucidachar{234}{squareplus}
\lucidachar{235}{squareminus}
\lucidachar{236}{squaremultiply}
\lucidachar{237}{squaredot}
\lucidachar{238}{satisfy}
\lucidachar{239}{satisfiedby}
\lucidachar{240}{force}
\lucidachar{241}{hermitconjmatrix}
\lucidachar{242}{lowerrank}
\lucidachar{243}{higherrank}
\lucidachar{244}{triangleftequal}
\lucidachar{245}{triangrightequal}
\lucidachar{246}{nand}
\lucidachar{247}{nor}
\lucidachar{248}{subsetdbl}
\lucidachar{249}{supersetdbl}
\lucidachar{250}{uniondbl}
\lucidachar{251}{intersectiondbl}
\lucidachar{252}{negeighteenthem}
\lucidachar{253}{eighteenthem}
\lucidachar{254}{eighthem}
\lucidachar{255}{tenthem}

\endencoding