%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% This is the file lbme.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 OMX.etx...

\needsfontinstversion{1.5}

\setstr{codingscheme}{TEX MATH EXTENSION}

\setint{italicslant}{0}

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

\setslot{parenleftbig}
   \nextlarger{parenleftBig}
\endsetslot

\setslot{parenrightbig}
   \nextlarger{parenrightBig}
\endsetslot

\setslot{bracketleftbig}
   \nextlarger{bracketleftBig}
\endsetslot

\setslot{bracketrightbig}
   \nextlarger{bracketrightBig}
\endsetslot

\setslot{floorleftbig}
   \nextlarger{floorleftBig}
\endsetslot

\setslot{floorrightbig}
   \nextlarger{floorrightBig}
\endsetslot

\setslot{ceilingleftbig}
   \nextlarger{ceilingleftBig}
\endsetslot

\setslot{ceilingrightbig}
   \nextlarger{ceilingrightBig}
\endsetslot

\setslot{braceleftbig}
   \nextlarger{braceleftBig}
\endsetslot

\setslot{bracerightbig}
   \nextlarger{bracerightBig}
\endsetslot

\setslot{angleleftbig}
   \nextlarger{angleleftBig}
\endsetslot

\setslot{anglerightbig}
   \nextlarger{anglerightBig}
\endsetslot

\setslot{barex}
   \varchar
      \varrep{barex}
   \endvarchar
\endsetslot

\setslot{bardblex}
   \varchar
      \varrep{bardblex}
   \endvarchar
\endsetslot

\setslot{slashbig}
   \nextlarger{slashBig}
\endsetslot

\setslot{backslashbig}
   \nextlarger{backslashBig}
\endsetslot

\setslot{parenleftBig}
   \nextlarger{parenleftbigg}
\endsetslot

\setslot{parenrightBig}
   \nextlarger{parenrightbigg}
\endsetslot

\setslot{parenleftbigg}
   \nextlarger{parenleftBigg}
\endsetslot

\setslot{parenrightbigg}
   \nextlarger{parenrightBigg}
\endsetslot

\setslot{bracketleftbigg}
   \nextlarger{bracketleftBigg}
\endsetslot

\setslot{bracketrightbigg}
   \nextlarger{bracketrightBigg}
\endsetslot

\setslot{floorleftbigg}
   \nextlarger{floorleftBigg}
\endsetslot

\setslot{floorrightbigg}
   \nextlarger{floorrightBigg}
\endsetslot

\setslot{ceilingleftbigg}
   \nextlarger{ceilingleftBigg}
\endsetslot

\setslot{ceilingrightbigg}
   \nextlarger{ceilingrightBigg}
\endsetslot

\setslot{braceleftbigg}
   \nextlarger{braceleftBigg}
\endsetslot

\setslot{bracerightbigg}
   \nextlarger{bracerightBigg}
\endsetslot

\setslot{angleleftbigg}
   \nextlarger{angleleftBigg}
\endsetslot

\setslot{anglerightbigg}
   \nextlarger{anglerightBigg}
\endsetslot

\setslot{slashbigg}
   \nextlarger{slashBigg}
\endsetslot

\setslot{backslashbigg}
   \nextlarger{backslashBigg}
\endsetslot

\setslot{parenleftBigg}
   \nextlarger{parenlefttp}
\endsetslot

\setslot{parenrightBigg}
   \nextlarger{parenrighttp}
\endsetslot

\setslot{bracketleftBigg}
   \nextlarger{bracketlefttp}
\endsetslot

\setslot{bracketrightBigg}
   \nextlarger{bracketrighttp}
\endsetslot

\setslot{floorleftBigg}
   \nextlarger{bracketleftbt}
\endsetslot

\setslot{floorrightBigg}
   \nextlarger{bracketrightbt}
\endsetslot

\setslot{ceilingleftBigg}
   \nextlarger{bracketleftex}
\endsetslot

\setslot{ceilingrightBigg}
   \nextlarger{bracketrightex}
\endsetslot

\setslot{braceleftBigg}
   \nextlarger{bracelefttp}
\endsetslot

\setslot{bracerightBigg}
   \nextlarger{bracerighttp}
\endsetslot

\setslot{angleleftBigg}
\endsetslot

\setslot{anglerightBigg}
\endsetslot

\setslot{slashBigg}
\endsetslot

\setslot{backslashBigg}
\endsetslot

\setslot{slashBig}
   \nextlarger{slashbigg}
\endsetslot

\setslot{backslashBig}
   \nextlarger{backslashbigg}
\endsetslot

\setslot{parenlefttp}
   \varchar
      \vartop{parenlefttp}
      \varbot{parenleftbt}
      \varrep{parenleftex}
   \endvarchar
\endsetslot

\setslot{parenrighttp}
   \varchar
      \vartop{parenrighttp}
      \varbot{parenrightbt}
      \varrep{parenrightex}
   \endvarchar
\endsetslot

\setslot{bracketlefttp}
   \varchar
      \vartop{bracketlefttp}
      \varbot{bracketleftbt}
      \varrep{bracketleftex}
   \endvarchar
\endsetslot

\setslot{bracketrighttp}
   \varchar
      \vartop{bracketrighttp}
      \varbot{bracketrightbt}
      \varrep{bracketrightex}
   \endvarchar
\endsetslot

\setslot{bracketleftbt}
   \varchar
      \varbot{bracketleftbt}
      \varrep{bracketleftex}
   \endvarchar
\endsetslot

\setslot{bracketrightbt}
   \varchar
      \varbot{bracketrightbt}
      \varrep{bracketrightex}
   \endvarchar
\endsetslot

\setslot{bracketleftex}
   \varchar
      \vartop{bracketlefttp}
      \varrep{bracketleftex}
   \endvarchar
\endsetslot

\setslot{bracketrightex}
   \varchar
      \vartop{bracketrighttp}
      \varrep{bracketrightex}
   \endvarchar
\endsetslot

\setslot{bracelefttp}
   \varchar
      \vartop{bracelefttp}
      \varmid{braceleftmid}
      \varbot{braceleftbt}
      \varrep{braceex}
   \endvarchar
\endsetslot

\setslot{bracerighttp}
   \varchar
      \vartop{bracerighttp}
      \varmid{bracerightmid}
      \varbot{bracerightbt}
      \varrep{braceex}
   \endvarchar
\endsetslot

\setslot{braceleftbt}
   \varchar
      \vartop{bracelefttp}
      \varbot{braceleftbt}
      \varrep{braceex}
   \endvarchar
\endsetslot

\setslot{bracerightbt}
   \varchar
      \vartop{bracerighttp}
      \varbot{bracerightbt}
      \varrep{braceex}
   \endvarchar
\endsetslot

\setslot{braceleftmid}
   \varchar
      \varrep{arrowvertex}
   \endvarchar
\endsetslot

\setslot{bracerightmid}
   \varchar
      \varrep{arrowdblvertex}
   \endvarchar
\endsetslot

\setslot{braceex}
   \varchar
      \varrep{braceex}
   \endvarchar
\endsetslot

\setslot{arrowvertex}
   \varchar
      \vartop{arrowtp}
      \varbot{arrowbt}
      \varrep{arrowvertex}
   \endvarchar
\endsetslot

\setslot{parenleftbt}
   \varchar
      \vartop{bracelefttp}
      \varbot{bracerightbt}
      \varrep{braceex}
   \endvarchar
\endsetslot

\setslot{parenrightbt}
   \varchar
      \vartop{bracerighttp}
      \varbot{braceleftmid}
      \varrep{braceex}
   \endvarchar
\endsetslot

\setslot{parenleftex}
   \varchar
      \varrep{parenleftex}
   \endvarchar
\endsetslot

\setslot{parenrightex}
   \varchar
      \varrep{parenrightex}
   \endvarchar
\endsetslot

\setslot{angleleftBig}
   \nextlarger{angleleftbigg}
\endsetslot

\setslot{anglerightBig}
   \nextlarger{anglerightbigg}
\endsetslot

\setslot{unionsqtext}
   \nextlarger{unionsqdisplay}
\endsetslot

\setslot{unionsqdisplay}
\endsetslot

\setslot{contintegraltext}
   \nextlarger{contintegraldisplay}
\endsetslot

\setslot{contintegraldisplay}
\endsetslot

\setslot{circledottext}
   \nextlarger{circledotdisplay}
\endsetslot

\setslot{circledotdisplay}
\endsetslot

\setslot{circleplustext}
   \nextlarger{circleplusdisplay}
\endsetslot

\setslot{circleplusdisplay}
\endsetslot

\setslot{circlemultiplytext}
   \nextlarger{circlemultiplydisplay}
\endsetslot

\setslot{circlemultiplydisplay}
\endsetslot

\setslot{summationtext}
   \nextlarger{summationdisplay}
\endsetslot

\setslot{producttext}
   \nextlarger{productdisplay}
\endsetslot

\setslot{integraltext}
   \nextlarger{integraldisplay}
\endsetslot

\setslot{uniontext}
   \nextlarger{uniondisplay}
\endsetslot

\setslot{intersectiontext}
   \nextlarger{intersectiondisplay}
\endsetslot

\setslot{unionmultitext}
   \nextlarger{unionmultidisplay}
\endsetslot

\setslot{logicalandtext}
   \nextlarger{logicalanddisplay}
\endsetslot

\setslot{logicalortext}
   \nextlarger{logicalordisplay}
\endsetslot

\setslot{summationdisplay}
\endsetslot

\setslot{productdisplay}
\endsetslot

\setslot{integraldisplay}
\endsetslot

\setslot{uniondisplay}
\endsetslot

\setslot{intersectiondisplay}
\endsetslot

\setslot{unionmultidisplay}
\endsetslot

\setslot{logicalanddisplay}
\endsetslot

\setslot{logicalordisplay}
\endsetslot

\setslot{coproducttext}
   \nextlarger{coproductdisplay}
\endsetslot

\setslot{coproductdisplay}
\endsetslot

\setslot{hatwide}
   \nextlarger{hatwider}
\endsetslot

\setslot{hatwider}
   \nextlarger{hatwiderr}
\endsetslot

\setslot{hatwiderr}
\endsetslot

\setslot{tildewide}
   \nextlarger{tildewider}
\endsetslot

\setslot{tildewider}
   \nextlarger{tildewiderr}
\endsetslot

\setslot{tildewiderr}
\endsetslot

\setslot{bracketleftBig}
   \nextlarger{bracketleftbigg}
\endsetslot

\setslot{bracketrightBig}
   \nextlarger{bracketrightbigg}
\endsetslot

\setslot{floorleftBig}
   \nextlarger{floorleftbigg}
\endsetslot

\setslot{floorrightBig}
   \nextlarger{floorrightbigg}
\endsetslot

\setslot{ceilingleftBig}
   \nextlarger{ceilingleftbigg}
\endsetslot

\setslot{ceilingrightBig}
   \nextlarger{ceilingrightbigg}
\endsetslot

\setslot{braceleftBig}
   \nextlarger{braceleftbigg}
\endsetslot

\setslot{bracerightBig}
   \nextlarger{bracerightbigg}
\endsetslot

\setslot{radicalbig}
   \nextlarger{radicalBig}
\endsetslot

\setslot{radicalBig}
   \nextlarger{radicalbigg}
\endsetslot

\setslot{radicalbigg}
   \nextlarger{radicalBigg}
\endsetslot

\setslot{radicalBigg}
   \nextlarger{radicalbt}
\endsetslot

\setslot{radicalbt}
   \varchar
      \varbot{radicalbt}
      \vartop{radicaltp}
      \varrep{radicalvertex}
   \endvarchar
\endsetslot

\setslot{radicalvertex}
\endsetslot

\setslot{radicaltp}
\endsetslot

\setslot{arrowdblvertex}
   \varchar
      \vartop{arrowdbltp}
      \varbot{arrowdblbt}
      \varrep{arrowdblvertex}
   \endvarchar
\endsetslot

\setslot{arrowtp}
   \varchar
      \vartop{arrowtp}
      \varrep{arrowvertex}
   \endvarchar
\endsetslot

\setslot{arrowbt}
   \varchar
      \varbot{arrowbt}
      \varrep{arrowvertex}
   \endvarchar
\endsetslot

\setslot{bracehtipdownleft}
\endsetslot

\setslot{bracehtipdownright}
\endsetslot

\setslot{bracehtipupleft}
\endsetslot

\setslot{bracehtipupright}
\endsetslot

\setslot{arrowdbltp}
   \varchar
      \vartop{arrowdbltp}
      \varrep{arrowdblvertex}
   \endvarchar
\endsetslot

\setslot{arrowdblbt}
   \varchar
      \varbot{arrowdblbt}
      \varrep{arrowdblvertex}
   \endvarchar
\endsetslot

%% This is new, and names the glyphs in the upper part of the font.

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

\lucidachar{130}{openbracketleftbig}
\lucidachar{131}{openbracketrightbig}
\lucidachar{132}{openbracketleftBig}
\lucidachar{133}{openbracketrightBig}
\lucidachar{134}{openbracketleftbigg}
\lucidachar{135}{openbracketrightbigg}
\lucidachar{136}{openbracketleftBigg}
\lucidachar{137}{openbracketrightBigg}
\lucidachar{138}{openbracketlefttp}
\lucidachar{139}{openbracketrighttp}
\lucidachar{140}{openbracketleftbt}
\lucidachar{141}{openbracketrightbt}
\lucidachar{142}{openbracketleftex}
\lucidachar{143}{openbracketrightex}
\lucidachar{144}{surfintegraltext}
\lucidachar{145}{surfintegraldisplay}
\lucidachar{146}{integralmid}
\lucidachar{147}{contintegralmid}
\lucidachar{148}{surfintegralmid}
\lucidachar{149}{integraltp}
\lucidachar{150}{integralbt}
\lucidachar{151}{integralex}
\lucidachar{160}{space}
\lucidachar{197}{hatwide1}
\lucidachar{198}{hatwider1}
\lucidachar{199}{tildewide1}
\lucidachar{200}{tildewider1}
\lucidachar{208}{Gamma}
\lucidachar{209}{Delta}
\lucidachar{210}{Theta}
\lucidachar{211}{Lambda}
\lucidachar{212}{Xi}
\lucidachar{213}{Pi}
\lucidachar{214}{Sigma}
\lucidachar{215}{Upsilon}
\lucidachar{216}{Phi}
\lucidachar{217}{Psi}
\lucidachar{218}{Omega}
\lucidachar{252}{negeighteenthem}
\lucidachar{253}{eighteenthem}
\lucidachar{254}{eighthem}
\lucidachar{255}{tenthem}

\endencoding