<!--
     Interleaf Math A font, mapping created by
     Anders Berglund, Berglund Consulting and Type Foundry,
     editor ISO/IEC TR 9573 "Techniques for using SGML"
-->
<CHARSET name="ILMTHA">
<!-- MAP repltext=""           code="000" unused-->
<MAP entname="middot"   code="001">
<MAP entname="times"    code="002">
<MAP entname="sext"     code="003">
<MAP entname="bsol"     code="004">
<MAP entname="compfn"   code="005">
<MAP entname="plusmn"   code="006">
<MAP entname="mnplus"   code="007">
<MAP entname="oplus"    code="008">
<MAP entname="ominus"   code="009">
<MAP entname="otimes"   code="010">
<MAP entname="osol"     code="011">
<MAP entname="odot"     code="012">
<MAP entname="divide"   code="013">
<MAP entname="intcal"   code="014">
<MAP entname="bull"     code="015">
<!-- MAP repltext=""           code="016" unused-->
<MAP entname="equiv"    code="017">
<!-- MAP repltext=""           code="018" unused-->
<!-- MAP repltext=""           code="019" unused-->
<MAP entname="le"       code="020">
<MAP entname="ge"       code="021">
<MAP entname="pre"      code="022">
<MAP entname="sce"      code="023">
<MAP entname="sim"      code="024">
<MAP entname="ap"       code="025">
<!-- MAP repltext=""           code="026" unused-->
<!-- MAP repltext=""           code="027" unused-->
<MAP entname="ne"       code="028">
<MAP entname="esdot"    code="029">
<MAP entname="pr"       code="030">
<MAP entname="sc"       code="031">
<MAP entname="thinsp"   code="032">
<MAP entname="rarr"     code="033">
<MAP entname="uarr"     code="034">
<MAP entname="darr"     code="035">
<MAP entname="harr"     code="036">
<MAP entname="Lt"       code="037">
<MAP entname="Gt"       code="038">
<MAP entname="sime"     code="039">
<MAP entname="angmsd"   code="040">
<!-- MAP repltext=""           code="041" unused-->
<!-- MAP repltext=""           code="042" unused-->
<!-- MAP repltext=""           code="043" unused-->
<!-- MAP repltext=""           code="044" unused-->
<MAP entname="lsh"      code="045">
<MAP entname="rsh"      code="046">
<MAP entname="map"      code="047">
<MAP entname="prime"    code="048">
<MAP entname="infin"    code="049">
<MAP entname="nvlt"     code="050">
<MAP entname="nvgt"     code="051">
<MAP entname="empty"    code="052">
<MAP entname="lowbar"   code="053">
<MAP entname="ang"      code="054">
<MAP entname="Copf"     code="055">
<MAP entname="Nopf"     code="056">
<MAP entname="Ropf"     code="057">
<MAP entname="not"      code="058">
<MAP entname="aleph"    code="059">
<MAP entname="real"     code="060">
<MAP entname="image"    code="061">
<MAP entname="top"      code="062">
<MAP entname="sol"      code="063">
<MAP entname="sol"      code="064">
<MAP entname="Ascr"     code="065">
<MAP entname="Bscr"     code="066">
<MAP entname="Cscr"     code="067">
<MAP entname="Dscr"     code="068">
<MAP entname="Escr"     code="069">
<MAP entname="Fscr"     code="070">
<MAP entname="Gscr"     code="071">
<MAP entname="Hscr"     code="072">
<MAP entname="Iscr"     code="073">
<MAP entname="Jscr"     code="074">
<MAP entname="Kscr"     code="075">
<MAP entname="Lscr"     code="076">
<MAP entname="Mscr"     code="077">
<MAP entname="Nscr"     code="078">
<MAP entname="Oscr"     code="079">
<MAP entname="Pscr"     code="080">
<MAP entname="Qscr"     code="081">
<MAP entname="Rscr"     code="082">
<MAP entname="Sscr"     code="083">
<MAP entname="Tscr"     code="084">
<MAP entname="Uscr"     code="085">
<MAP entname="Vscr"     code="086">
<MAP entname="Wscr"     code="087">
<MAP entname="Xscr"     code="088">
<MAP entname="Yscr"     code="089">
<MAP entname="Zscr"     code="090">
<!-- MAP repltext=""           code="091" unused-->
<!-- MAP repltext=""           code="092" unused-->
<!-- MAP repltext=""           code="093" unused-->
<!-- MAP repltext=""           code="094" no ISO entity-->
<!-- MAP repltext=""           code="095" unused-->
<!-- MAP repltext=""           code="096" unused-->
<!-- MAP repltext=""           code="097" unused-->
<MAP entname="lfloor"   code="098">
<MAP entname="rfloor"   code="099">
<MAP entname="lceil"    code="100">
<MAP entname="rceil"    code="101">
<MAP entname="lcub"     code="102">
<MAP entname="rcub"     code="103">
<MAP entname="lang"     code="104">
<MAP entname="rang"     code="105">
<MAP entname="verbar"   code="106">
<MAP entname="Verbar"   code="107">
<MAP entname="lobrk"    code="108">
<MAP entname="robrk"    code="109">
<MAP entname="Delta"    code="110">
<MAP entname="nabla"    code="111">
<MAP entname="radic"    code="112">
<MAP entname="num"      code="113">
<MAP entname="nabla"    code="114">
<MAP entname="int"      code="115">
<MAP entname="conint"   code="116">
<!-- MAP repltext=""           code="117" unused-->
<!-- MAP repltext=""           code="118" unused-->
<!-- MAP repltext=""           code="119" unused-->
<!-- MAP repltext=""           code="120" unused-->
<MAP entname="mdash"    code="121">
<!-- probably intended as arrow extender-->
<MAP entname="larr"     code="122">
<!-- MAP repltext=""           code="123" unused-->
<!-- MAP repltext=""           code="124" unused-->
<!-- MAP repltext=""           code="125" unused-->
<!-- MAP repltext=""           code="126" unused-->
<!-- 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-->
