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

\relax

\encoding

\needsfontinstversion{1.5}

\comment{\section{Default values}}

\setint{italicslant}{0}


\comment{\section{Default font dimensions}}

\setint{fontdimen(1)}{\int{italicslant}} % italic slant
\setint{fontdimen(2)}{0}                 % interword space
\setint{fontdimen(3)}{0}                 % interword stretch
\setint{fontdimen(4)}{0}                 % interword shrink
\setint{fontdimen(5)}{530}               % x-height from lbme
\setint{fontdimen(6)}{1000}              % quad
\setint{fontdimen(7)}{0}                 % extra space after .

\comment{The following font dimensions are taken from lbme.}

\setint{fontdimen(8)}{40}   % (PARAMETER D 8 R 0.004) 
\setint{fontdimen(9)}{120}  % (PARAMETER D 9 R 0.012) 
\setint{fontdimen(10)}{170} % (PARAMETER D 10 R 0.017)
\setint{fontdimen(11)}{200} % (PARAMETER D 11 R 0.02) 
\setint{fontdimen(12)}{600} % (PARAMETER D 12 R 0.06) 
\setint{fontdimen(13)}{110} % (PARAMETER D 13 R 0.011)

%\inputetx{OMX}
\comment{\section{The encoding}
   There are 128 glyphs in this encoding.}

\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{contintegralmid}
\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{integralmid}
\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}
   \nextlarger{integraltp}
\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}
   \nextlarger{hatwide1}
\endsetslot

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

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

\setslot{tildewiderr}
   \nextlarger{tildewide1}
\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.

\nextslot{130}
\setslot{openbracketleftbig}
   \nextlarger{openbracketleftBig}
\endsetslot

\nextslot{131}
\setslot{openbracketrightbig}
   \nextlarger{openbracketrightBig}
\endsetslot

\nextslot{132}
\setslot{openbracketleftBig}
   \nextlarger{openbracketleftbigg}
\endsetslot

\nextslot{133}
\setslot{openbracketrightBig}
   \nextlarger{openbracketrightbigg}
\endsetslot

\nextslot{134}
\setslot{openbracketleftbigg}
   \nextlarger{openbracketleftBigg}
\endsetslot

\nextslot{135}
\setslot{openbracketrightbigg}
   \nextlarger{openbracketrightBigg}
\endsetslot

\nextslot{136}
\setslot{openbracketleftBigg}
   \nextlarger{openbracketlefttp}
\endsetslot

\nextslot{137}
\setslot{openbracketrightBigg}
   \nextlarger{openbracketrighttp}
\endsetslot

\nextslot{138}
\setslot{openbracketlefttp}
   \varchar
      \vartop{openbracketlefttp}
      \varbot{openbracketleftbt}
      \varrep{openbracketleftex}
   \endvarchar
\endsetslot

\nextslot{139}
\setslot{openbracketrighttp}
   \varchar
      \vartop{openbracketrighttp}
      \varbot{openbracketrightbt}
      \varrep{openbracketrightex}
   \endvarchar
\endsetslot

\nextslot{140}
\setslot{openbracketleftbt}
\endsetslot

\nextslot{141}
\setslot{openbracketrightbt}
\endsetslot

\nextslot{142}
\setslot{openbracketleftex}
   \varchar
      \varrep{openbracketleftex}
   \endvarchar
\endsetslot

\nextslot{143}
\setslot{openbracketrightex}
   \varchar
      \varrep{openbracketrightex}
   \endvarchar
\endsetslot

\nextslot{144}
\setslot{surfintegraltext}
   \nextlarger{surfintegralmid}
\endsetslot

\nextslot{145}
\setslot{surfintegraldisplay}
\endsetslot

\nextslot{146}
\setslot{integralmid}
   \nextlarger{integraldisplay}
\endsetslot

\nextslot{147}
\setslot{contintegralmid}
   \nextlarger{contintegraldisplay}
\endsetslot

\nextslot{148}
\setslot{surfintegralmid}
   \nextlarger{surfintegraldisplay}
\endsetslot

\nextslot{149}
\setslot{integraltp}
   \varchar
      \vartop{integraltp}
      \varbot{integralbt}
      \varrep{integralex}
   \endvarchar
\endsetslot

\nextslot{150}
\setslot{integralbt}
   \varchar
      \vartop{integraltp}
      \varbot{integralbt}
      \varrep{integralex}
   \endvarchar
\endsetslot

\nextslot{151}
\setslot{integralex}
    \varchar
       \varrep{integralex}
    \endvarchar
\endsetslot

\nextslot{160}
\setslot{space}
\endsetslot

\nextslot{197}
\setslot{hatwide1}
   \nextlarger{hatwider1}
\endsetslot

\nextslot{198}
\setslot{hatwider1}
\endsetslot

\nextslot{199}
\setslot{tildewide1}
   \nextlarger{tildewider1}
\endsetslot

\nextslot{200}
\setslot{tildewider1}
\endsetslot

\nextslot{208}
\setslot{Gamma}
\endsetslot

\nextslot{209}
\setslot{Delta}
\endsetslot

\nextslot{210}
\setslot{Theta}
\endsetslot

\nextslot{211}
\setslot{Lambda}
\endsetslot

\nextslot{212}
\setslot{Xi}
\endsetslot

\nextslot{213}
\setslot{Pi}
\endsetslot

\nextslot{214}
\setslot{Sigma}
\endsetslot

\nextslot{215}
\setslot{Upsilon}
\endsetslot

\nextslot{216}
\setslot{Phi}
\endsetslot

\nextslot{217}
\setslot{Psi}
\endsetslot

\nextslot{218}
\setslot{Omega}
\endsetslot

\nextslot{252}
\setslot{negeighteenthem}
\endsetslot

\nextslot{253}
\setslot{eighteenthem}
\endsetslot

\nextslot{254}
\setslot{eighthem}
\endsetslot

\nextslot{255}
\setslot{tenthem}
\endsetslot

\endencoding

%% Comment WARNING: ascendible characters (92)	% macro	 - PS charname
%% Comment Ascending 0, 16, 18, 32, 48		% (	 - parenleft
%% Comment Ascending 1, 17, 19, 33, 49		% )	 - parenright
%% Comment Ascending 2, 104, 20, 34, 50		% [	 - bracketleft
%% Comment Ascending 3, 105, 21, 35, 51		% ] 	 - bracketright
%% Comment Ascending 4, 106, 22, 36, 52		% lfloor - floorleft
%% Comment Ascending 5, 107, 23, 37, 53		% rfloor - floorright
%% Comment Ascending 6, 108, 24, 38, 54		% lceil	 - ceilingleft
%% Comment Ascending 7, 109, 25, 39, 55		% rceil	 - ceilingright
%% Comment Ascending 8, 110, 26, 40, 56		% {	 - braceleft
%% Comment Ascending 9, 111, 27, 41, 57		% }	 - braceright
%% Comment Ascending 10, 68, 28, 42		% <	 - anglebracketleft
%% Comment Ascending 11, 69, 29, 43		% >	 - anglebracketright
%% Comment Ascending 14, 46, 30, 44		% /	 - slash
%% Comment Ascending 15, 47, 31, 45		% \	 - backslash
%% Comment Ascending 70, 71			% bigsqcup  - unionsq
%% Comment Ascending 72, 73			% oint	    - contintegral
%% Comment Ascending 74, 75			% bigodot   - circledot
%% Comment Ascending 76, 77			% bigoplus  - circleplus
%% Comment Ascending 78, 79			% bigotimes - circlemultiply
%% Comment Ascending 80, 88			% sum       - summation
%% Comment Ascending 81, 89			% prod      - product
%% Comment Ascending 82, 90			% int       - integral
%% Comment Ascending 83, 91			% bigcup    - union
%% Comment Ascending 84, 92			% bigcap    - intersection
%% Comment Ascending 85, 93			% biguplus  - unionmulti
%% Comment Ascending 86, 94			% bigwedge  - logicaland
%% Comment Ascending 87, 95			% bigvee    - logicalor
%% Comment Ascending 96, 97			% coprod    - coproduct
%% Comment Ascending 98, 99, 100, 197, 198		% widehat   - hatwide
%% Comment Ascending 101, 102, 103, 199, 200	% widetilde - tildewide
%% Comment Ascending 112, 113, 114, 115, 116	% radical   - sqrt
%% Comment Ascending 130, 132, 134, 136, 138	% [[	openbracketleft 
%% Comment Ascending 131, 133, 135, 137, 139	% ]]	openbracketright
%% Comment Ascending 144, 145			% surfint    - surfintegral
%% Comment WARNING: extensible characters (31)
%% Comment Extensible 12 top 0 mid 0 bot 0 rep 12	    % vert   - thin bar
%% Comment Extensible 13 top 0 mid 0 bot 0 rep 13	    % Vert   - thin double bar
%% Comment Extensible 48 top 48 mid 0 bot 64 rep 66    % (      - parenleft
%% Comment Extensible 49 top 49 mid 0 bot 65 rep 67    % )      - parenright
%% Comment Extensible 50 top 50 mid 0 bot 52 rep 54    % [      - bracketleft
%% Comment Extensible 51 top 51 mid 0 bot 53 rep 55    % ]      - bracketright
%% Comment Extensible 52 top 0 mid 0 bot 52 rep 54     % lfloor - floorleft
%% Comment Extensible 53 top 0 mid 0 bot 53 rep 55	    % rfloor - floorright
%% Comment Extensible 54 top 50 mid 0 bot 0 rep 54	    % lceil  - ceilingleft
%% Comment Extensible 55 top 51 mid 0 bot 0 rep 55	    % rceil  - ceilingright
%% Comment Extensible 56 top 56 mid 60 bot 58 rep 62   % {      - braceleft
%% Comment Extensible 57 top 57 mid 61 bot 59 rep 62   % }      - braceright
%% Comment Extensible 58 top 56 mid 0 bot 58 rep 62    % lgroup
%% Comment Extensible 59 top 57 mid 0 bot 59 rep 62    % rgroup
%% Comment Extensible 60 top 0 mid 0 bot 0 rep 63      % arrowvert
%% Comment Extensible 61 top 0 mid 0 bot 0 rep 119	    % Arrowvert
%% Comment Extensible 62 top 0 mid 0 bot 0 rep 62	    % bracevert
%% Comment Extensible 63 top 120 mid 0 bot 121 rep 63  % updownarrow
%% Comment Extensible 64 top 56 mid 0 bot 59 rep 62    % lmoustache
%% Comment Extensible 65 top 57 mid 0 bot 58 rep 62    % rmoustache
%% Comment Extensible 66 top 0 mid 0 bot 0 rep 66	    % - parenleftexten
%% Comment Extensible 67 top 0 mid 0 bot 0 rep 67	    % - parenrightexten
%% Comment Extensible 116 top 118 mid 0 bot 116 rep 117	% radical
%% Comment Extensible 119 top 126 mid 0 bot 127 rep 119	% Updownarrow
%% Comment Extensible 120 top 120 mid 0 bot 0 rep 63	% uparrow
%% Comment Extensible 121 top 0 mid 0 bot 121 rep 63	% downarrow
%% Comment Extensible 126 top 126 mid 0 bot 0 rep 119	% Uparrow
%% Comment Extensible 127 top 0 mid 0 bot 127 rep 119	% Downarrow
%% Comment Extensible 138 top 138 mid 0 bot 140 rep 142	% openbracketleft
%% Comment Extensible 139 top 139 mid 0 bot 141 rep 143	% openbracketright
%% Comment Extensible 149 top 149 mid 0 bot 150 rep 151	% largeintegral