<!--
     Interleaf Math B font, mapping created by
     Anders Berglund, Berglund Consulting and Type Foundry,
     editor ISO/IEC TR 9573 "Techniques for using SGML"
-->
<CHARSET name="ILMTHB">
<MAP repltext="<tab>"      code="009">
<!-- MAP repltext=""           code="032" unused-->
<!-- MAP repltext=""           code="033" unused-->
<!-- MAP repltext=""           code="034" unused-->
<!-- MAP repltext=""           code="035" unused-->
<!-- MAP repltext=""           code="036" unused-->
<!-- MAP repltext=""           code="037" unused-->
<!-- MAP repltext=""           code="038" unused-->
<!-- MAP repltext=""           code="039" unused-->
<!-- MAP repltext=""           code="040" unused-->
<!-- MAP repltext=""           code="041" unused-->
<!-- MAP repltext=""           code="042" unused-->
<!-- MAP repltext=""           code="043" unused-->
<!-- MAP repltext=""           code="044" unused-->
<!-- MAP repltext=""           code="045" unused-->
<!-- MAP repltext=""           code="046" unused-->
<!-- MAP repltext=""           code="047" unused-->
<!-- MAP repltext=""           code="048" unused-->
<!-- MAP repltext=""           code="049" unused-->
<!-- MAP repltext=""           code="050" unused-->
<!-- MAP repltext=""           code="051" unused-->
<!-- MAP repltext=""           code="052" unused-->
<!-- MAP repltext=""           code="053" unused-->
<!-- MAP repltext=""           code="054" unused-->
<!-- MAP repltext=""           code="055" unused-->
<!-- MAP repltext=""           code="056" unused-->
<!-- MAP repltext=""           code="057" unused-->
<!-- MAP repltext=""           code="058" unused-->
<!-- MAP repltext=""           code="059" unused-->
<!-- MAP repltext=""           code="060" unused-->
<!-- MAP repltext=""           code="061" unused-->
<!-- MAP repltext=""           code="062" unused-->
<!-- MAP repltext=""           code="063" unused-->
<!-- MAP repltext=""           code="064" unused-->
<!-- MAP repltext=""           code="065" unused-->
<!-- MAP repltext=""           code="066" unused-->
<!-- MAP repltext=""           code="067" unused-->
<!-- MAP repltext=""           code="068" unused-->
<!-- MAP repltext=""           code="069" unused-->
<!-- MAP repltext=""           code="070" unused-->
<!-- MAP repltext=""           code="071" unused-->
<!-- MAP repltext=""           code="072" unused-->
<!-- MAP repltext=""           code="073" unused-->
<!-- MAP repltext=""           code="074" unused-->
<!-- MAP repltext=""           code="075" unused-->
<!-- MAP repltext=""           code="076" unused-->
<!-- MAP repltext=""           code="077" unused-->
<!-- MAP repltext=""           code="078" unused-->
<!-- MAP repltext=""           code="079" unused-->
<!-- MAP repltext=""           code="080" unused-->
<!-- MAP repltext=""           code="081" unused-->
<!-- MAP repltext=""           code="082" unused-->
<!-- MAP repltext=""           code="083" unused-->
<!-- MAP repltext=""           code="084" unused-->
<!-- MAP repltext=""           code="085" unused-->
<!-- MAP repltext=""           code="086" unused-->
<!-- MAP repltext=""           code="087" unused-->
<!-- MAP repltext=""           code="088" unused-->
<!-- MAP repltext=""           code="089" unused-->
<!-- MAP repltext=""           code="090" unused-->
<!-- MAP repltext=""           code="091" unused-->
<!-- MAP repltext=""           code="092" unused-->
<!-- MAP repltext=""           code="093" unused-->
<!-- MAP repltext=""           code="094" unused-->
<!-- MAP repltext=""           code="095" unused-->
<!-- MAP repltext=""           code="096" unused-->
<MAP entname="dashv"    code="097">
<MAP entname="vdash"    code="098">
<MAP entname="bottom"   code="099">
<MAP entname="sub"      code="100">
<MAP entname="sup"      code="101">
<MAP entname="sube"     code="102">
<MAP entname="supe"     code="103">
<MAP entname="isinv"    code="104">
<MAP entname="niv"      code="105">
<MAP entname="notinv"   code="106">
<MAP entname="cup"      code="107">
<MAP entname="cap"      code="108">
<MAP entname="uplus"    code="109">
<MAP entname="xwedge"   code="110">
<MAP entname="xvee"     code="111">
<MAP entname="sqcup"    code="112">
<MAP entname="sqcap"    code="113">
<MAP entname="sqsube"   code="114">
<MAP entname="lArr"     code="115">
<MAP entname="hArr"     code="116">
<MAP entname="uArr"     code="117">
<MAP entname="dArr"     code="118">
<MAP entname="hArr"     code="119">
<MAP entname="forall"   code="120">
<MAP entname="exist"    code="121">
<MAP entname="there4"   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-->