📄 ilmthb.pem
字号:
<!--
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-->
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -