<!--
     Interleaf Math Ext. font, mapping created by
     Anders Berglund, Berglund Consulting and Type Foundry,
     editor ISO/IEC TR 9573 "Techniques for using SGML"
-->
<CHARSET name="ILMTHEX">
<!-- MAP repltext=""           code="000" unused-->
<MAP entname="lpar"     code="001">
<MAP entname="verbar"   code="002">
<MAP entname="lang"     code="003">
<MAP entname="lsqb"     code="004">
<MAP entname="sum"      code="005">
<MAP entname="rsqb"     code="006">
<MAP entname="lfloor"   code="007">
<MAP entname="rfloor"   code="008">
<MAP entname="sqcup"    code="009">
<MAP entname="lceil"    code="010">
<MAP entname="rceil"    code="011">
<!-- MAP repltext=""           code="012" no ISO entity-->
<MAP entname="sol"      code="013">
<MAP entname="par"      code="014">
<MAP entname="xwedge"   code="015">
<MAP entname="xvee"     code="016">
<MAP entname="radic"    code="017">
<MAP entname="prod"     code="018">
<MAP entname="rpar"     code="019">
<MAP entname="int"      code="020">
<MAP entname="cap"      code="021">
<MAP entname="rang"     code="022">
<MAP entname="conint"   code="023">
<!-- MAP repltext=""           code="024" unused-->
<MAP entname="cup"      code="025">
<!-- MAP repltext=""           code="026" unused-->
<!-- MAP repltext=""           code="027" unused-->
<!-- MAP repltext=""           code="028" unused-->
<!-- MAP repltext=""           code="029" unused-->
<!-- MAP repltext=""           code="030" unused-->
<!-- MAP repltext=""           code="031" unused-->
<!-- MAP repltext=""           code="032" unused-->
<!-- MAP repltext=""           code="033" unused-->
<!-- MAP repltext=""           code="034" no ISO entity-->
<!-- MAP repltext=""           code="035" unused-->
<!-- MAP repltext=""           code="036" unused-->
<!-- MAP repltext=""           code="037" unused-->
<!-- MAP repltext=""           code="038" unused-->
<!-- MAP repltext=""           code="039" no ISO entity-->
<MAP entname="lcub"     code="040">
<MAP entname="rcub"     code="041">
<!-- MAP repltext=""           code="042" unused-->
<MAP entname="bsol"     code="043">
<!-- MAP repltext=""           code="044" unused-->
<MAP entname="lang"     code="045">
<!-- MAP repltext=""           code="046" unused-->
<!-- MAP repltext=""           code="047" unused-->
<MAP entname="rcub"     code="048">
<MAP entname="lpar"     code="049">
<MAP entname="rpar"     code="050">
<MAP entname="lsqb"     code="051">
<MAP entname="rsqb"     code="052">
<MAP entname="lfloor"   code="053">
<MAP entname="rfloor"   code="054">
<MAP entname="lceil"    code="055">
<MAP entname="rceil"    code="056">
<MAP entname="lcub"     code="057">
<!-- MAP repltext=""           code="058" unused-->
<!-- MAP repltext=""           code="059" unused-->
<!-- MAP repltext=""           code="060" unused-->
<MAP entname="rang"     code="061">
<!-- MAP repltext=""           code="062" unused-->
<!-- MAP repltext=""           code="063" unused-->
<!-- MAP repltext=""           code="064" unused-->
<MAP entname="lpar"     code="065">
<MAP entname="verbar"   code="066">
<MAP entname="lang"     code="067">
<MAP entname="lsqb"     code="068">
<MAP entname="sum"      code="069">
<MAP entname="rsqb"     code="070">
<MAP entname="lfloor"   code="071">
<MAP entname="rfloor"   code="072">
<MAP entname="sqcup"    code="073">
<MAP entname="lceil"    code="074">
<MAP entname="rceil"    code="075">
<!-- MAP repltext=""           code="076" no ISO entity-->
<MAP entname="sol"      code="077">
<MAP entname="par"      code="078">
<MAP entname="xwedge"   code="079">
<MAP entname="xvee"     code="080">
<MAP entname="radic"    code="081">
<MAP entname="prod"     code="082">
<MAP entname="rpar"     code="083">
<MAP entname="int"      code="084">
<MAP entname="cap"      code="085">
<MAP entname="rang"     code="086">
<MAP entname="conint"   code="087">
<MAP entname="lcub"     code="088">
<MAP entname="cup"      code="089">
<MAP entname="rcub"     code="090">
<MAP entname="par"      code="091">
<MAP entname="radic"    code="092">
<MAP entname="sol"      code="093">
<!-- MAP repltext=""           code="094" unused-->
<MAP entname="sol"      code="095">
<MAP entname="verbar"   code="096">
<MAP entname="lpar"     code="097">
<MAP entname="verbar"   code="098">
<MAP entname="lang"     code="099">
<MAP entname="lsqb"     code="100">
<MAP entname="sum"      code="101">
<MAP entname="rsqb"     code="102">
<MAP entname="lfloor"   code="103">
<MAP entname="rfloor"   code="104">
<MAP entname="sqcup"    code="105">
<MAP entname="lceil"    code="106">
<MAP entname="rceil"    code="107">
<!-- MAP repltext=""           code="108" no ISO entity-->
<MAP entname="sol"      code="109">
<MAP entname="par"      code="110">
<MAP entname="xwedge"   code="111">
<MAP entname="xvee"     code="112">
<MAP entname="radic"    code="113">
<MAP entname="prod"     code="114">
<MAP entname="rpar"     code="115">
<MAP entname="int"      code="116">
<MAP entname="cap"      code="117">
<MAP entname="rang"     code="118">
<MAP entname="conint"   code="119">
<MAP entname="lcub"     code="120">
<MAP entname="cup"      code="121">
<MAP entname="rcub"     code="122">
<!-- MAP repltext=""           code="123" unused-->
<!-- MAP repltext=""           code="124" no ISO entity-->
<!-- MAP repltext=""           code="125" unused-->
<!-- MAP repltext=""           code="126" no ISO entity-->
<!-- MAP repltext=""           code="127" unused-->
<!-- MAP repltext=""           code="128" unused-->
<!-- MAP repltext=""           code="129" unused-->
<!-- MAP repltext=""           code="130" unused-->
<!-- MAP repltext=""           code="131" unused-->
<!-- MAP repltext=""           code="132" unused-->
<!-- MAP repltext=""           code="133" unused-->
<!-- MAP repltext=""           code="134" unused-->
<!-- MAP repltext=""           code="135" unused-->
<!-- MAP repltext=""           code="136" unused-->
<!-- MAP repltext=""           code="137" unused-->
<!-- MAP repltext=""           code="138" unused-->
<!-- MAP repltext=""           code="139" unused-->
<!-- MAP repltext=""           code="140" unused-->
<!-- MAP repltext=""           code="141" unused-->
<!-- MAP repltext=""           code="142" unused-->
<!-- MAP repltext=""           code="143" unused-->
<!-- MAP repltext=""           code="144" unused-->
<!-- MAP repltext=""           code="145" unused-->
<!-- MAP repltext=""           code="146" unused-->
<!-- MAP repltext=""           code="147" unused-->
<!-- MAP repltext=""           code="148" unused-->
<!-- MAP repltext=""           code="149" unused-->
<!-- MAP repltext=""           code="150" unused-->
<!-- MAP repltext=""           code="151" unused-->
<!-- MAP repltext=""           code="152" unused-->
<!-- MAP repltext=""           code="153" unused-->
<!-- MAP repltext=""           code="154" unused-->
<!-- MAP repltext=""           code="155" unused-->
<!-- MAP repltext=""           code="156" unused-->
<!-- MAP repltext=""           code="157" unused-->
<!-- MAP repltext=""           code="158" unused-->
<!-- MAP repltext=""           code="159" unused-->
<!-- MAP repltext=""           code="160" unused-->
<!-- MAP repltext=""           code="161" unused-->
<!-- MAP repltext=""           code="162" unused-->
<!-- MAP repltext=""           code="163" unused-->
<!-- MAP repltext=""           code="164" unused-->
<!-- MAP repltext=""           code="165" unused-->
<!-- MAP repltext=""           code="166" unused-->
<!-- MAP repltext=""           code="167" unused-->
<!-- MAP repltext=""           code="168" unused-->
<!-- MAP repltext=""           code="169" unused-->
<!-- MAP repltext=""           code="170" unused-->
<!-- MAP repltext=""           code="171" unused-->
<!-- MAP repltext=""           code="172" unused-->
<!-- MAP repltext=""           code="173" unused-->
<!-- MAP repltext=""           code="174" unused-->
<!-- MAP repltext=""           code="175" unused-->
<!-- MAP repltext=""           code="176" unused-->
<!-- MAP repltext=""           code="177" unused-->
<!-- MAP repltext=""           code="178" unused-->
<!-- MAP repltext=""           code="179" unused-->
<!-- MAP repltext=""           code="180" unused-->
<!-- MAP repltext=""           code="181" unused-->
<!-- MAP repltext=""           code="182" unused-->
<!-- MAP repltext=""           code="183" unused-->
<!-- MAP repltext=""           code="184" unused-->
<!-- MAP repltext=""           code="185" unused-->
<!-- MAP repltext=""           code="186" unused-->
<!-- MAP repltext=""           code="187" unused-->
<!-- MAP repltext=""           code="188" unused-->
<!-- MAP repltext=""           code="189" unused-->
<!-- MAP repltext=""           code="190" unused-->
<!-- MAP repltext=""           code="191" unused-->
<!-- MAP repltext=""           code="192" unused-->
<!-- MAP repltext=""           code="193" unused-->
<!-- MAP repltext=""           code="194" unused-->
<!-- MAP repltext=""           code="195" unused-->
<!-- MAP repltext=""           code="196" unused-->
<!-- MAP repltext=""           code="197" unused-->
<!-- MAP repltext=""           code="198" unused-->
<!-- MAP repltext=""           code="199" unused-->
<!-- MAP repltext=""           code="200" unused-->
<!-- MAP repltext=""           code="201" unused-->
<!-- MAP repltext=""           code="202" unused-->
<!-- MAP repltext=""           code="203" unused-->
<!-- MAP repltext=""           code="204" unused-->
<!-- MAP repltext=""           code="205" unused-->
<!-- MAP repltext=""           code="206" unused-->
<!-- MAP repltext=""           code="207" unused-->
<!-- MAP repltext=""           code="208" unused-->
<!-- MAP repltext=""           code="209" unused-->
<!-- MAP repltext=""           code="210" unused-->
<!-- MAP repltext=""           code="211" unused-->
<!-- MAP repltext=""           code="212" unused-->
<!-- MAP repltext=""           code="213" unused-->
<!-- MAP repltext=""           code="214" unused-->
<!-- MAP repltext=""           code="215" unused-->
<!-- MAP repltext=""           code="216" unused-->
<!-- MAP repltext=""           code="217" unused-->
<!-- MAP repltext=""           code="218" unused-->
<!-- MAP repltext=""           code="219" unused-->
<!-- MAP repltext=""           code="220" unused-->
<!-- MAP repltext=""           code="221" unused-->
<!-- MAP repltext=""           code="222" unused-->
<!-- MAP repltext=""           code="223" unused-->
<!-- MAP repltext=""           code="224" unused-->
<!-- MAP repltext=""           code="225" unused-->
<!-- MAP repltext=""           code="226" unused-->
<!-- MAP repltext=""           code="227" unused-->
<!-- MAP repltext=""           code="228" unused-->
<!-- MAP repltext=""           code="229" unused-->
<!-- MAP repltext=""           code="230" unused-->
<!-- MAP repltext=""           code="231" unused-->
<!-- MAP repltext=""           code="232" unused-->
<!-- MAP repltext=""           code="233" unused-->
<!-- MAP repltext=""           code="234" unused-->
<!-- MAP repltext=""           code="235" unused-->
<!-- MAP repltext=""           code="236" unused-->
<!-- MAP repltext=""           code="237" unused-->
<!-- MAP repltext=""           code="238" unused-->
<!-- MAP repltext=""           code="239" unused-->
<!-- MAP repltext=""           code="240" unused-->
<!-- MAP repltext=""           code="241" unused-->
<!-- MAP repltext=""           code="242" unused-->
<!-- MAP repltext=""           code="243" unused-->
<!-- MAP repltext=""           code="244" unused-->
<!-- MAP repltext=""           code="245" unused-->
<!-- MAP repltext=""           code="246" unused-->
<!-- MAP repltext=""           code="247" unused-->
<!-- MAP repltext=""           code="248" unused-->
<!-- MAP repltext=""           code="249" unused-->
<!-- MAP repltext=""           code="250" unused-->
<!-- MAP repltext=""           code="251" unused-->
<!-- MAP repltext=""           code="252" unused-->
<!-- MAP repltext=""           code="253" unused-->
<!-- MAP repltext=""           code="254" unused-->
<!-- MAP repltext=""           code="255" unused-->
