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

\relax

\encoding

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

\lucidachar{0}{circle}
\lucidachar{1}{circlesolid}
\lucidachar{2}{square}
\lucidachar{3}{squaresolid}
\lucidachar{4}{triangle}
\lucidachar{5}{trianglesolid}
\lucidachar{6}{triangleinv}
\lucidachar{7}{triangleinvsolid}
\lucidachar{8}{diamond}
\lucidachar{9}{diamondsolid}
\lucidachar{10}{diamondmathsolid}
\lucidachar{11}{upslope}
\lucidachar{12}{downslope}
\lucidachar{13}{sqimageornotequal}
\lucidachar{14}{sqoriginornotequal}
\lucidachar{15}{unionsqdbl}
\lucidachar{16}{intersectionsqdbl}
\lucidachar{17}{domsubtract}
\lucidachar{18}{rngsubtract}
\lucidachar{19}{vertellipsis}
\lucidachar{20}{midhorizellipsis}
\lucidachar{21}{upslopeellipsis}
\lucidachar{22}{downslopeellipsis}
\lucidachar{23}{equalparallel}
\lucidachar{24}{approxnotequal}
\lucidachar{25}{pibond}
\lucidachar{26}{starequal}
\lucidachar{27}{planckover2pi1}
\lucidachar{28}{elementmacron}
\lucidachar{29}{notelement}
\lucidachar{30}{ownermacron}
\lucidachar{31}{notowner}
\lucidachar{32}{notexistential}
\lucidachar{33}{arrowlongboth}
\lucidachar{34}{arrowlongbothv}
\lucidachar{35}{dblarrowheadleft}
\lucidachar{36}{dblarrowheadup}
\lucidachar{37}{dblarrowheadright}
\lucidachar{38}{ampersand}
\lucidachar{39}{dblarrowheaddown}
\lucidachar{40}{arrowtailleft}
\lucidachar{41}{arrowtailright}
\lucidachar{42}{arrowbarleft}
\lucidachar{43}{arrowbarup}
\lucidachar{44}{arrowbarright}
\lucidachar{45}{arrowext}
\lucidachar{46}{arrowbardown}
\lucidachar{47}{arrowtableft}
\lucidachar{48}{arrowtabright}
\lucidachar{49}{arrowbothvbase}
\lucidachar{50}{arrowleftnot}
\lucidachar{51}{arrowrightnot}
\lucidachar{52}{arrowbothnot}
\lucidachar{53}{arrowlongbothnot}
\lucidachar{54}{headleft}
\lucidachar{55}{headright}
\lucidachar{56}{arrowdashleft}
\lucidachar{57}{arrowdashup}
\lucidachar{58}{arrowdashright}
\lucidachar{59}{arrowdashdown}
\lucidachar{60}{arrowhookleft}
\lucidachar{61}{arrowdblext}
\lucidachar{62}{arrowhookright}
\lucidachar{63}{arrowloopleft}
\lucidachar{64}{arrowloopright}
\lucidachar{65}{A}
\lucidachar{66}{B}
\lucidachar{67}{C}
\lucidachar{68}{D}
\lucidachar{69}{E}
\lucidachar{70}{F}
\lucidachar{71}{G}
\lucidachar{72}{H}
\lucidachar{73}{I}
\lucidachar{74}{J}
\lucidachar{75}{K}
\lucidachar{76}{L}
\lucidachar{77}{M}
\lucidachar{78}{N}
\lucidachar{79}{O}
\lucidachar{80}{P}
\lucidachar{81}{Q}
\lucidachar{82}{R}
\lucidachar{83}{S}
\lucidachar{84}{T}
\lucidachar{85}{U}
\lucidachar{86}{V}
\lucidachar{87}{W}
\lucidachar{88}{X}
\lucidachar{89}{Y}
\lucidachar{90}{Z}
\lucidachar{91}{brackettopnw}
\lucidachar{92}{brackettopne}
\lucidachar{93}{bracketbotsw}
\lucidachar{94}{bracketbotse}
\lucidachar{95}{arrowdblvext}
\lucidachar{96}{arrowdbllongbothv}
\lucidachar{97}{arrowdbllongboth}
\lucidachar{98}{arrowdblnw}
\lucidachar{99}{arrowdblne}
\lucidachar{100}{arrowdblsw}
\lucidachar{101}{arrowdblse}
\lucidachar{102}{arrowdblleftnot}
\lucidachar{103}{arrowdblbothnot}
\lucidachar{104}{arrowdblrightnot}
\lucidachar{105}{arrowdbllongbothnot}
\lucidachar{106}{arrowtripleleft}
\lucidachar{107}{k}
\lucidachar{108}{arrowtripleright}
\lucidachar{109}{arrowparrrightleft}
\lucidachar{110}{arrowparrleftright}
\lucidachar{111}{dblarrowupdown}
\lucidachar{112}{dblarrowdownup}
\lucidachar{113}{dblarrowleft}
\lucidachar{114}{dblarrowup}
\lucidachar{115}{dblarrowright}
\lucidachar{116}{dblarrowdown}
\lucidachar{117}{harpoonupright}
\lucidachar{118}{harpoonupleft}
\lucidachar{119}{harpoondownright}
\lucidachar{120}{harpoondownleft}
\lucidachar{121}{harpoonleftright}
\lucidachar{122}{harpoonrightleft}
\lucidachar{123}{arrowupleft}
\lucidachar{124}{arrowvext}
\lucidachar{125}{arrowupright}
\lucidachar{126}{vectorleft}
\lucidachar{127}{notlessgreater}
\lucidachar{129}{arrowdownleft}
\lucidachar{130}{arrowdownright}
\lucidachar{131}{arrowrightdown}
\lucidachar{132}{arrowleftdown}
\lucidachar{133}{arrowrightup}
\lucidachar{134}{arrowleftup}
\lucidachar{135}{arrowsemanticlockw}
\lucidachar{136}{arrowsemclockw}
\lucidachar{137}{arrowsemanticlockwplus}
\lucidachar{138}{arrowsemclockwminus}
\lucidachar{139}{arrowanticlockw}
\lucidachar{140}{arrowclockw}
\lucidachar{141}{arrowsquiggleleft}
\lucidachar{142}{arrowsquiggleright}
\lucidachar{143}{arrowwaveleft}
\lucidachar{144}{arrowwaveright}
\lucidachar{145}{arrowwaveboth}
\lucidachar{146}{arrowmidbarright}
\lucidachar{147}{arrowzigzag}
\lucidachar{148}{notequal}
\lucidachar{149}{notequivalence}
\lucidachar{150}{notsimilar}
\lucidachar{151}{notasymptequal}
\lucidachar{152}{notalmostequal}
\lucidachar{153}{notapproxequal}
\lucidachar{154}{notless}
\lucidachar{155}{notgreater}
\lucidachar{156}{notlessequal}
\lucidachar{157}{notgreaterequal}
\lucidachar{158}{notlessequivlnt}
\lucidachar{159}{notgreaterequivlnt}
\lucidachar{160}{space}
\lucidachar{171}{star1}
\lucidachar{172}{checkmark}
\lucidachar{197}{notgreaterless}
\lucidachar{198}{notpropersubset}
\lucidachar{199}{notpropersuperset}
\lucidachar{200}{notreflexsubset}
\lucidachar{201}{notreflexsuperset}
\lucidachar{202}{notsubsetdblequal}
\lucidachar{203}{notsupersetdblequal}
\lucidachar{204}{subsetnotequal}
\lucidachar{205}{supersetnotequal}
\lucidachar{206}{subsetornotequal1}
\lucidachar{207}{supersetornotequal1}
\lucidachar{208}{notsubsetorequal}
\lucidachar{209}{notsupersetorequal}
\lucidachar{210}{subsetornotequal}
\lucidachar{211}{supersetornotequal}
\lucidachar{212}{notsubsetsqequal}
\lucidachar{213}{notsupersetsqequal}
\lucidachar{214}{notlessequal1}
\lucidachar{215}{notgreaterequal1}
\lucidachar{216}{notlessdblequal}
\lucidachar{217}{notgreaterdblequal}
\lucidachar{218}{lessnotequal}
\lucidachar{219}{greaternotequal}
\lucidachar{220}{lessnotdblequal}
\lucidachar{221}{greaternotdblequal}
\lucidachar{222}{lessnotdblequal1}
\lucidachar{223}{greaternotdblequal1}
\lucidachar{224}{lessnotequivlnt}
\lucidachar{225}{periodcenteredbold}
\lucidachar{226}{greaternotequivlnt}
\lucidachar{227}{lessnotdblequivlnt}
\lucidachar{228}{greaternotdblequivlnt}
\lucidachar{229}{notpreceeds}
\lucidachar{230}{notfollows}
\lucidachar{231}{notpreceedsequal}
\lucidachar{232}{notfollowsequal}
\lucidachar{233}{preceedsnotequal}
\lucidachar{234}{followsnotequal}
\lucidachar{235}{preceedsnotsimilar}
\lucidachar{236}{followsnotsimilar}
\lucidachar{237}{preceedsnotequivlnt}
\lucidachar{238}{followsnotequivlnt}
\lucidachar{239}{nottriangleleft}
\lucidachar{240}{nottriangleright}
\lucidachar{241}{nottriangleleftequal}
\lucidachar{242}{nottrianglerightequal}
\lucidachar{243}{notequivasymptotic}
\lucidachar{244}{notbarshort}
\lucidachar{245}{notparallelshort}
\lucidachar{246}{notbar}
\lucidachar{247}{notbardbl}
\lucidachar{248}{notturnstileleft}
\lucidachar{249}{notsatisfies}
\lucidachar{250}{notforces}
\lucidachar{251}{notforcesextra}
\lucidachar{252}{negeighteenthem}
\lucidachar{253}{eighteenthem}
\lucidachar{254}{eighthem}
\lucidachar{255}{tenthem}

\endencoding