API tools faq
paste
Advertisement
Tiago_f

mIRC Update

Tiago_f
May 8th, 2024 (edited)
1,214
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
mIRC 110.44 KB | None | 0 0
raw download clone embed print report
  1. menu status,menubar {
  2.   Update-c&heck... :checkver
  3. }
  4. alias sdt {
  5.   if ($did($did).state) { set % $+ $1 1 }
  6.   else { unset % $+ $1 }
  7. }
  8. alias StartVersion {
  9.   did -r $dname 13
  10.   did -a $dname 11 Checking for updates...
  11.   did -h $dname 4,8
  12.   did -b $dname 6
  13.   if (%check.beta) { var %URI = https://forums.mirc.com/ubbthreads.php/topics/225704 }
  14.   else { var %URI = https://www.mirc.com/get.html }
  15.   noop $urlget(%URI,gbi,&CheckVer,processWmIRC)
  16. }
  17. alias getinfosstable {
  18.   if ($bfind(&stable,1,/<h2 class="topic">mIRC $1 has been released.*?<br>\s+(.*?)<ul>\s+(.*?)<\/ul>(.*?)(?=<p>\s*<h2)/s,stable).regex) {
  19.     did -a checkver 13 $html2ascii($remove($regml(stable,1),<p>) $+ $crlf $+ $replace($regml(stable,2),<li>,$crlf)).unicode
  20.   }
  21.   did -e checkver 6
  22.   did -v checkver 4,8
  23.   did -a checkver 11 $1
  24. }
  25. alias ProcessWmIRC {
  26.   if ($dialog(checkver)) {
  27.     var %beta m@(*LIMIT_MATCH=200000)<(?:img|div) .*? title="([^"]++)"><a href="(/ubbthreads\.php/topics/(\d++)/[^"]++)".*(?:.*\n)*?<span class="date">([^<]++)</span>(?: <span class="time">([^<]++)</span>)?.*(?:.*\n)*?<div class="bold author-name fwrap dblock">\s++<a href="/ubbthreads\.php/users/\d++/[^"]++"><[^<]+>([^<]++).*(?:.*\n)*?<div id="body\d++">([\s\S]+?)()</div>\s<br>@gF
  28.     var %norm = /The latest version of mIRC is <strong>mIRC ([^<]+)</strong>/i
  29.     var %id = $1 , %BV = $urlget(%id).target, %m
  30.     if ($urlget(%id).state = ok) {
  31.       if ($bfind(%BV,1,%norm,Norm).regex) {
  32.         var %m = $mid($regml(Norm,1),2)
  33.         if (%m != $version) {
  34.           set %url.get $nofile($urlget(%id).url) $+ get.php
  35.           set %url.news $nofile($urlget(%id).url) $+ news.html
  36.           noop $urlget(%url.news,gb,&stable,getinfosstable %m)
  37.         }
  38.         else {
  39.           did -ra checkver 11 mIRC is up to date.
  40.           did -e checkver 6
  41.         }
  42.       }
  43.       elseif ($bfind(%BV,1,%beta,Beta).regex) {
  44.         bcopy -c &new 1 %BV $regmlex(beta,2,7).bytepos $calc($regmlex(beta,2,8).bytepos - $regmlex(beta,2,7).bytepos)
  45.         if (!$bfind(&new,0,/(?|.*?>Beta v(\S+) changes:(<br>.*?)(?=<br><br>Beta v|<br>Changes:)|.*?<br><br>(.*?)(?=<br><br>Beta))(?:.*<br>Changes:(.*))/F,m).regex) return
  46.         var %version $regml(m,1)
  47.         var %change1 $regml(m,2)
  48.         var %change2 $regml(m,3)
  49.         if (%change2 == $null) {
  50.           %change2 = %change1
  51.           %change1 = %version
  52.           return
  53.         }
  54.         did -a checkver 13 $+ $str($crlf,1)
  55.         noop $regex(%change1,/.*?<br>(.*)/)
  56.         noop $regex(p,$regml(1),/(.*?)(?:<br>(?=\d)|$)/g)
  57.         var %a 1,%item
  58.         if ($wd(%version,-1,46) != $beta) {
  59.           while ($regml(p,%a)) {
  60.             var %v $v1
  61.             if ($regex(%v,/^\d+.Items (\d+) and (\d+)/i)) var %item %item $regml(1) $regml(2)
  62.             elseif ($regex(%v,/^\d+.Item (\d+)/i)) var %item $addtok(%item,$regml(1),32)
  63.             var %text $regsubex(%v,/<a href="([^"]+)" .*?<\/a>/g,\1)
  64.             noop $regex(pff,%text,/(?|(.*?)<br>|(.+?)$)/g)
  65.             var %z 1,%text $regml(pff,0)
  66.             while (%z <= %Text) {
  67.               var %d $regmlex(pff,%z,1)
  68.               did -a checkver 13 $html2ascii(%d).unicode $+ $crlf | inc %z
  69.             }
  70.             inc %a
  71.           }
  72.           if (%item) {
  73.             var %b 1
  74.             did -a checkver 13 $crlf $+ Beta changelog: $+ $Str($crlf,2)
  75.             while ($wd(%item,%b,32)) {
  76.               var %v $v1
  77.               noop $regex(p,%change2,/(?:^|<br>)( $+ %v $+ \..*?(?=<br>\d+\.|$))/)
  78.               var %text $regsubex($regml(p,1),/<a href="([^"]+)" .*?<\/a>/g,\1)
  79.               noop $regex(pff,%text,/(?|(.*?)<br>|(.+?)$)/g)
  80.               var %z 1,%text $regml(pff,0)
  81.               while (%z <= %Text) {
  82.                 var %d $regmlex(pff,%z,1)
  83.                 did -a checkver 13 $html2ascii($replace(%d,</div>,)).unicode $+ $crlf
  84.                 inc %z
  85.               }
  86.               inc %b
  87.             }
  88.             did -i checkver 13 1 $did(checkver,13,1)
  89.             did -d checkver 13 1
  90.             did -e checkver 6
  91.             did -v checkver 4,8
  92.             did -a checkver 11 %version
  93.             set %url.get $+(https://www.mirc.com/downloads/beta/,mircb,$remove(%version,.),.zip)
  94.             set %url.news $urlget(%id).url
  95.           }
  96.         }
  97.         elseif (%check.beta) { var %URI = https://www.mirc.com/get.html | noop $urlget(%URI,gbi,&CheckVer,processWmIRC) }
  98.       }
  99.     }
  100.     else {
  101.       did -a checkver 11 There was a problem contacting the mIRC website.
  102.       did -e checkver 6
  103.     }
  104.   }
  105. }
  106. alias mkHtmlTbl {
  107.   hmake html_entities 2796
  108.   dotokadd /^amp$/9 $HT2CHR($base(0026, 16, 10)) @ /^lt$/22 $HT2CHR($base(003C, 16, 10)) @ /^gt$/27 $HT2CHR($base(003E, 16, 10)) @ /^nbsp$/50 $HT2CHR($base(00A0, 16, 10)) @ /^iexcl$/52 $HT2CHR($base(00A1, 16, 10)) @ /^cent$/53 $HT2CHR($base(00A2, 16, 10)) @ /^pound$/54 $HT2CHR($base(00A3, 16, 10)) @ /^curren$/55 $HT2CHR($base(00A4, 16, 10)) @ /^yen$/56 $HT2CHR($base(00A5, 16, 10)) @ /^brvbar$/57 $HT2CHR($base(00A6, 16, 10)) @ /^sect$/58 $HT2CHR($base(00A7, 16, 10)) @ /^uml$/62 $HT2CHR($base(00A8, 16, 10)) @ /^copy$/63 $HT2CHR($base(00A9, 16, 10)) @ /^ordf$/65 $HT2CHR($base(00AA, 16, 10)) @ /^laquo$/66 $HT2CHR($base(00AB, 16, 10)) @ /^not$/67 $HT2CHR($base(00AC, 16, 10)) @ /^shy$/68 $HT2CHR($base(00AD, 16, 10)) @ /^reg$/69 $HT2CHR($base(00AE, 16, 10)) @ /^macr$/72 $HT2CHR($base(00AF, 16, 10)) @ /^deg$/74 $HT2CHR($base(00B0, 16, 10)) @ /^plusmn$/75 $HT2CHR($base(00B1, 16, 10)) @ /^sup2$/78 $HT2CHR($base(00B2, 16, 10)) @ /^sup3$/79 $HT2CHR($base(00B3, 16, 10)) @ /^acute$/80 $HT2CHR($base(00B4, 16, 10)) @ /^micro$/82 $HT2CHR($base(00B5, 16, 10)) @ /^para$/83 $HT2CHR($base(00B6, 16, 10)) @ /^middot$/84 $HT2CHR($base(00B7, 16, 10)) @ /^cedil$/87 $HT2CHR($base(00B8, 16, 10)) @ /^sup1$/89 $HT2CHR($base(00B9, 16, 10)) @ /^ordm$/90 $HT2CHR($base(00BA, 16, 10)) @ /^raquo$/91 $HT2CHR($base(00BB, 16, 10)) @ /^frac14$/92 $HT2CHR($base(00BC, 16, 10)) @ /^frac12$/93 $HT2CHR($base(00BD, 16, 10)) @ /^frac34$/95 $HT2CHR($base(00BE, 16, 10)) @ /^iquest$/96 $HT2CHR($base(00BF, 16, 10)) @ /^Agrave$/97 $HT2CHR($base(00C0, 16, 10)) @ /^Aacute$/98 $HT2CHR($base(00C1, 16, 10)) @ /^Acirc$/99 $HT2CHR($base(00C2, 16, 10)) @ /^Atilde$/100 $HT2CHR($base(00C3, 16, 10)) @ /^Auml$/101 $HT2CHR($base(00C4, 16, 10)) @ /^Aring$/102 $HT2CHR($base(00C5, 16, 10)) @ /^AElig$/104 $HT2CHR($base(00C6, 16, 10)) @ /^Ccedil$/105 $HT2CHR($base(00C7, 16, 10)) @ /^Egrave$/106 $HT2CHR($base(00C8, 16, 10)) @ /^Eacute$/107 $HT2CHR($base(00C9, 16, 10)) @ /^Ecirc$/108 $HT2CHR($base(00CA, 16, 10)) @ /^Euml$/109 $HT2CHR($base(00CB, 16, 10)) @ /^Igrave$/110 $HT2CHR($base(00CC, 16, 10)) @ /^Iacute$/111 $HT2CHR($base(00CD, 16, 10)) @ /^Icirc$/112 $HT2CHR($base(00CE, 16, 10)) @ /^Iuml$/113 $HT2CHR($base(00CF, 16, 10)) @ /^ETH$/114 $HT2CHR($base(00D0, 16, 10)) @ /^Ntilde$/115 $HT2CHR($base(00D1, 16, 10)) @ /^Ograve$/116 $HT2CHR($base(00D2, 16, 10)) @ /^Oacute$/117 $HT2CHR($base(00D3, 16, 10)) @ /^Ocirc$/118 $HT2CHR($base(00D4, 16, 10)) @ /^Otilde$/119 $HT2CHR($base(00D5, 16, 10)) @ /^Ouml$/120 $HT2CHR($base(00D6, 16, 10)) @ /^times$/121 $HT2CHR($base(00D7, 16, 10)) @ /^Oslash$/122 $HT2CHR($base(00D8, 16, 10)) @ /^Ugrave$/123 $HT2CHR($base(00D9, 16, 10)) @ /^Uacute$/124 $HT2CHR($base(00DA, 16, 10)) @ /^Ucirc$/125 $HT2CHR($base(00DB, 16, 10)) @ /^Uuml$/126 $HT2CHR($base(00DC, 16, 10)) @ /^Yacute$/127 $HT2CHR($base(00DD, 16, 10)) @ /^THORN$/128 $HT2CHR($base(00DE, 16, 10)) @ /^szlig$/129 $HT2CHR($base(00DF, 16, 10)) @ /^agrave$/130 $HT2CHR($base(00E0, 16, 10)) @ /^aacute$/131 $HT2CHR($base(00E1, 16, 10)) @ /^acirc$/132 $HT2CHR($base(00E2, 16, 10)) @ /^atilde$/133 $HT2CHR($base(00E3, 16, 10)) @ /^auml$/134 $HT2CHR($base(00E4, 16, 10)) @ /^aring$/135 $HT2CHR($base(00E5, 16, 10)) @ /^aelig$/136 $HT2CHR($base(00E6, 16, 10)) @ /^ccedil$/137 $HT2CHR($base(00E7, 16, 10)) @ /^egrave$/138 $HT2CHR($base(00E8, 16, 10)) @ /^eacute$/139 $HT2CHR($base(00E9, 16, 10)) @ /^ecirc$/140 $HT2CHR($base(00EA, 16, 10)) @ /^euml$/141 $HT2CHR($base(00EB, 16, 10)) @ /^igrave$/142 $HT2CHR($base(00EC, 16, 10)) @ /^iacute$/143 $HT2CHR($base(00ED, 16, 10)) @ /^icirc$/144 $HT2CHR($base(00EE, 16, 10)) @ /^iuml$/145 $HT2CHR($base(00EF, 16, 10)) @ /^eth$/146 $HT2CHR($base(00F0, 16, 10)) @ /^ntilde$/147 $HT2CHR($base(00F1, 16, 10)) @ /^ograve$/148 $HT2CHR($base(00F2, 16, 10)) @ /^oacute$/149 $HT2CHR($base(00F3, 16, 10)) @ /^ocirc$/150 $HT2CHR($base(00F4, 16, 10)) @ /^otilde$/151 $HT2CHR($base(00F5, 16, 10)) @ /^ouml$/152 $HT2CHR($base(00F6, 16, 10)) @ /^divide$/153 $HT2CHR($base(00F7, 16, 10)) @ /^oslash$/155 $HT2CHR($base(00F8, 16, 10)) @ /^ugrave$/156 $HT2CHR($base(00F9, 16, 10)) @ /^uacute$/157 $HT2CHR($base(00FA, 16, 10)) @ /^ucirc$/158 $HT2CHR($base(00FB, 16, 10)) @ /^uuml$/159 $HT2CHR($base(00FC, 16, 10)) @ /^yacute$/160 $HT2CHR($base(00FD, 16, 10)) @ /^thorn$/161 $HT2CHR($base(00FE, 16, 10)) @ /^yuml$/162 $HT2CHR($base(00FF, 16, 10)) @
  109.   if ($1 == unicode) {
  110.     hadd html_entities unicode 1
  111.     dotokadd /^Tab$/1 $HT2CHR($base(0009, 16, 10)) @ /^NewLine$/2 $HT2CHR($base(000A, 16, 10)) @ /^excl$/3 $HT2CHR($base(0021, 16, 10)) @ /^quot$/4 $HT2CHR($base(0022, 16, 10)) @ /^QUOT$/5 $HT2CHR($base(0022, 16, 10)) @ /^num$/6 $HT2CHR($base(0023, 16, 10)) @ /^dollar$/7 $HT2CHR($base(0024, 16, 10)) @ /^percnt$/8 $HT2CHR($base(0025, 16, 10)) @ /^AMP$/10 $HT2CHR($base(0026, 16, 10)) @ /^apos$/11 $HT2CHR($base(0027, 16, 10)) @ /^lpar$/12 $HT2CHR($base(0028, 16, 10)) @ /^rpar$/13 $HT2CHR($base(0029, 16, 10)) @ /^ast$/14 $HT2CHR($base(002A, 16, 10)) @ /^midast$/15 $HT2CHR($base(002A, 16, 10)) @ /^plus$/16 $HT2CHR($base(002B, 16, 10)) @ /^comma$/17 $HT2CHR($base(002C, 16, 10)) @ /^period$/18 $HT2CHR($base(002E, 16, 10)) @ /^sol$/19 $HT2CHR($base(002F, 16, 10)) @ /^colon$/20 $HT2CHR($base(003A, 16, 10)) @ /^semi$/21 $HT2CHR($base(003B, 16, 10)) @ /^LT$/23 $HT2CHR($base(003C, 16, 10)) @ /^nvlt$/24 $HT2CHR($base(003C, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^equals$/25 $HT2CHR($base(003D, 16, 10)) @ /^bne$/26 $HT2CHR($base(003D, 16, 10)) $+ $HT2CHR($base(20E5, 16, 10)) @ /^GT$/28 $HT2CHR($base(003E, 16, 10)) @ /^nvgt$/29 $HT2CHR($base(003E, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^quest$/30 $HT2CHR($base(003F, 16, 10)) @ /^lsqb$/32 $HT2CHR($base(005B, 16, 10)) @ /^lbrack$/33 $HT2CHR($base(005B, 16, 10)) @ /^bsol$/34 $HT2CHR($base(005C, 16, 10)) @ /^rsqb$/35 $HT2CHR($base(005D, 16, 10)) @ /^rbrack$/36 $HT2CHR($base(005D, 16, 10)) @ /^Hat$/37 $HT2CHR($base(005E, 16, 10)) @ /^lowbar$/38 $HT2CHR($base(005F, 16, 10)) @ /^UnderBar$/39 $HT2CHR($base(005F, 16, 10)) @ /^grave$/40 $HT2CHR($base(0060, 16, 10)) @ /^DiacriticalGrave$/41 $HT2CHR($base(0060, 16, 10)) @ /^fjlig$/42 $HT2CHR($base(0066, 16, 10)) $+ $HT2CHR($base(006A, 16, 10)) @ /^lcub$/43 $HT2CHR($base(007B, 16, 10)) @ /^lbrace$/44 $HT2CHR($base(007B, 16, 10)) @ /^verbar$/45 $HT2CHR($base(007C, 16, 10)) @ /^vert$/46 $HT2CHR($base(007C, 16, 10)) @ /^VerticalLine$/47 $HT2CHR($base(007C, 16, 10)) @ /^rcub$/48 $HT2CHR($base(007D, 16, 10)) @ /^rbrace$/49 $HT2CHR($base(007D, 16, 10)) @ /^NonBreakingSpace$/51 $HT2CHR($base(00A0, 16, 10)) @ /^Dot$/59 $HT2CHR($base(00A8, 16, 10)) @ /^die$/60 $HT2CHR($base(00A8, 16, 10)) @ /^DoubleDot$/61 $HT2CHR($base(00A8, 16, 10)) @ /^COPY$/64 $HT2CHR($base(00A9, 16, 10)) @ /^circledR$/70 $HT2CHR($base(00AE, 16, 10)) @ /^REG$/71 $HT2CHR($base(00AE, 16, 10)) @ /^strns$/73 $HT2CHR($base(00AF, 16, 10)) @ /^pm$/76 $HT2CHR($base(00B1, 16, 10)) @ /^PlusMinus$/77 $HT2CHR($base(00B1, 16, 10)) @ /^DiacriticalAcute$/81 $HT2CHR($base(00B4, 16, 10)) @ /^centerdot$/85 $HT2CHR($base(00B7, 16, 10)) @ /^CenterDot$/86 $HT2CHR($base(00B7, 16, 10)) @ /^Cedilla$/88 $HT2CHR($base(00B8, 16, 10)) @ /^half$/94 $HT2CHR($base(00BD, 16, 10)) @ /^angst$/103 $HT2CHR($base(00C5, 16, 10)) @ /^div$/154 $HT2CHR($base(00F7, 16, 10)) @ /^Amacr$/163 $HT2CHR($base(0100, 16, 10)) @ /^amacr$/164 $HT2CHR($base(0101, 16, 10)) @ /^Abreve$/165 $HT2CHR($base(0102, 16, 10)) @ /^abreve$/166 $HT2CHR($base(0103, 16, 10)) @ /^Aogon$/167 $HT2CHR($base(0104, 16, 10)) @ /^aogon$/168 $HT2CHR($base(0105, 16, 10)) @ /^Cacute$/169 $HT2CHR($base(0106, 16, 10)) @ /^cacute$/170 $HT2CHR($base(0107, 16, 10)) @ /^Ccirc$/171 $HT2CHR($base(0108, 16, 10)) @ /^ccirc$/172 $HT2CHR($base(0109, 16, 10)) @ /^Cdot$/173 $HT2CHR($base(010A, 16, 10)) @ /^cdot$/174 $HT2CHR($base(010B, 16, 10)) @ /^Ccaron$/175 $HT2CHR($base(010C, 16, 10)) @ /^ccaron$/176 $HT2CHR($base(010D, 16, 10)) @ /^Dcaron$/177 $HT2CHR($base(010E, 16, 10)) @ /^dcaron$/178 $HT2CHR($base(010F, 16, 10)) @ /^Dstrok$/179 $HT2CHR($base(0110, 16, 10)) @ /^dstrok$/180 $HT2CHR($base(0111, 16, 10)) @ /^Emacr$/181 $HT2CHR($base(0112, 16, 10)) @ /^emacr$/182 $HT2CHR($base(0113, 16, 10)) @ /^Edot$/183 $HT2CHR($base(0116, 16, 10)) @ /^edot$/184 $HT2CHR($base(0117, 16, 10)) @ /^Eogon$/185 $HT2CHR($base(0118, 16, 10)) @ /^eogon$/186 $HT2CHR($base(0119, 16, 10)) @ /^Ecaron$/187 $HT2CHR($base(011A, 16, 10)) @ /^ecaron$/188 $HT2CHR($base(011B, 16, 10)) @ /^Gcirc$/189 $HT2CHR($base(011C, 16, 10)) @ /^gcirc$/190 $HT2CHR($base(011D, 16, 10)) @ /^Gbreve$/191 $HT2CHR($base(011E, 16, 10)) @ /^gbreve$/192 $HT2CHR($base(011F, 16, 10)) @ /^Gdot$/193 $HT2CHR($base(0120, 16, 10)) @ /^gdot$/194 $HT2CHR($base(0121, 16, 10)) @ /^Gcedil$/195 $HT2CHR($base(0122, 16, 10)) @ /^Hcirc$/196 $HT2CHR($base(0124, 16, 10)) @ /^hcirc$/197 $HT2CHR($base(0125, 16, 10)) @ /^Hstrok$/198 $HT2CHR($base(0126, 16, 10)) @ /^hstrok$/199 $HT2CHR($base(0127, 16, 10)) @ /^Itilde$/200 $HT2CHR($base(0128, 16, 10)) @ /^itilde$/201 $HT2CHR($base(0129, 16, 10)) @ /^Imacr$/202 $HT2CHR($base(012A, 16, 10)) @ /^imacr$/203 $HT2CHR($base(012B, 16, 10)) @ /^Iogon$/204 $HT2CHR($base(012E, 16, 10)) @ /^iogon$/205 $HT2CHR($base(012F, 16, 10)) @ /^Idot$/206 $HT2CHR($base(0130, 16, 10)) @ /^imath$/207 $HT2CHR($base(0131, 16, 10)) @ /^inodot$/208 $HT2CHR($base(0131, 16, 10)) @ /^IJlig$/209 $HT2CHR($base(0132, 16, 10)) @ /^ijlig$/210 $HT2CHR($base(0133, 16, 10)) @ /^Jcirc$/211 $HT2CHR($base(0134, 16, 10)) @ /^jcirc$/212 $HT2CHR($base(0135, 16, 10)) @ /^Kcedil$/213 $HT2CHR($base(0136, 16, 10)) @ /^kcedil$/214 $HT2CHR($base(0137, 16, 10)) @ /^kgreen$/215 $HT2CHR($base(0138, 16, 10)) @ /^Lacute$/216 $HT2CHR($base(0139, 16, 10)) @ /^lacute$/217 $HT2CHR($base(013A, 16, 10)) @ /^Lcedil$/218 $HT2CHR($base(013B, 16, 10)) @ /^lcedil$/219 $HT2CHR($base(013C, 16, 10)) @ /^Lcaron$/220 $HT2CHR($base(013D, 16, 10)) @ /^lcaron$/221 $HT2CHR($base(013E, 16, 10)) @ /^Lmidot$/222 $HT2CHR($base(013F, 16, 10)) @ /^lmidot$/223 $HT2CHR($base(0140, 16, 10)) @ /^Lstrok$/224 $HT2CHR($base(0141, 16, 10)) @ /^lstrok$/225 $HT2CHR($base(0142, 16, 10)) @ /^Nacute$/226 $HT2CHR($base(0143, 16, 10)) @ /^nacute$/227 $HT2CHR($base(0144, 16, 10)) @ /^Ncedil$/228 $HT2CHR($base(0145, 16, 10)) @ /^ncedil$/229 $HT2CHR($base(0146, 16, 10)) @ /^Ncaron$/230 $HT2CHR($base(0147, 16, 10)) @ /^ncaron$/231 $HT2CHR($base(0148, 16, 10)) @ /^napos$/232 $HT2CHR($base(0149, 16, 10)) @
  112.     dotokadd /^ENG$/233 $HT2CHR($base(014A, 16, 10)) @ /^eng$/234 $HT2CHR($base(014B, 16, 10)) @ /^Omacr$/235 $HT2CHR($base(014C, 16, 10)) @ /^omacr$/236 $HT2CHR($base(014D, 16, 10)) @ /^Odblac$/237 $HT2CHR($base(0150, 16, 10)) @ /^odblac$/238 $HT2CHR($base(0151, 16, 10)) @ /^OElig$/239 $HT2CHR($base(0152, 16, 10)) @ /^oelig$/240 $HT2CHR($base(0153, 16, 10)) @ /^Racute$/241 $HT2CHR($base(0154, 16, 10)) @ /^racute$/242 $HT2CHR($base(0155, 16, 10)) @ /^Rcedil$/243 $HT2CHR($base(0156, 16, 10)) @ /^rcedil$/244 $HT2CHR($base(0157, 16, 10)) @ /^Rcaron$/245 $HT2CHR($base(0158, 16, 10)) @ /^rcaron$/246 $HT2CHR($base(0159, 16, 10)) @ /^Sacute$/247 $HT2CHR($base(015A, 16, 10)) @ /^sacute$/248 $HT2CHR($base(015B, 16, 10)) @ /^Scirc$/249 $HT2CHR($base(015C, 16, 10)) @ /^scirc$/250 $HT2CHR($base(015D, 16, 10)) @ /^Scedil$/251 $HT2CHR($base(015E, 16, 10)) @ /^scedil$/252 $HT2CHR($base(015F, 16, 10)) @ /^Scaron$/253 $HT2CHR($base(0160, 16, 10)) @ /^scaron$/254 $HT2CHR($base(0161, 16, 10)) @ /^Tcedil$/255 $HT2CHR($base(0162, 16, 10)) @ /^tcedil$/256 $HT2CHR($base(0163, 16, 10)) @ /^Tcaron$/257 $HT2CHR($base(0164, 16, 10)) @ /^tcaron$/258 $HT2CHR($base(0165, 16, 10)) @ /^Tstrok$/259 $HT2CHR($base(0166, 16, 10)) @ /^tstrok$/260 $HT2CHR($base(0167, 16, 10)) @ /^Utilde$/261 $HT2CHR($base(0168, 16, 10)) @ /^utilde$/262 $HT2CHR($base(0169, 16, 10)) @ /^Umacr$/263 $HT2CHR($base(016A, 16, 10)) @ /^umacr$/264 $HT2CHR($base(016B, 16, 10)) @ /^Ubreve$/265 $HT2CHR($base(016C, 16, 10)) @ /^ubreve$/266 $HT2CHR($base(016D, 16, 10)) @ /^Uring$/267 $HT2CHR($base(016E, 16, 10)) @ /^uring$/268 $HT2CHR($base(016F, 16, 10)) @ /^Udblac$/269 $HT2CHR($base(0170, 16, 10)) @ /^udblac$/270 $HT2CHR($base(0171, 16, 10)) @ /^Uogon$/271 $HT2CHR($base(0172, 16, 10)) @ /^uogon$/272 $HT2CHR($base(0173, 16, 10)) @ /^Wcirc$/273 $HT2CHR($base(0174, 16, 10)) @ /^wcirc$/274 $HT2CHR($base(0175, 16, 10)) @ /^Ycirc$/275 $HT2CHR($base(0176, 16, 10)) @ /^ycirc$/276 $HT2CHR($base(0177, 16, 10)) @ /^Yuml$/277 $HT2CHR($base(0178, 16, 10)) @ /^Zacute$/278 $HT2CHR($base(0179, 16, 10)) @ /^zacute$/279 $HT2CHR($base(017A, 16, 10)) @ /^Zdot$/280 $HT2CHR($base(017B, 16, 10)) @ /^zdot$/281 $HT2CHR($base(017C, 16, 10)) @ /^Zcaron$/282 $HT2CHR($base(017D, 16, 10)) @ /^zcaron$/283 $HT2CHR($base(017E, 16, 10)) @ /^fnof$/284 $HT2CHR($base(0192, 16, 10)) @ /^imped$/285 $HT2CHR($base(01B5, 16, 10)) @ /^gacute$/286 $HT2CHR($base(01F5, 16, 10)) @ /^jmath$/287 $HT2CHR($base(0237, 16, 10)) @ /^circ$/288 $HT2CHR($base(02C6, 16, 10)) @ /^caron$/289 $HT2CHR($base(02C7, 16, 10)) @ /^Hacek$/290 $HT2CHR($base(02C7, 16, 10)) @ /^breve$/291 $HT2CHR($base(02D8, 16, 10)) @ /^Breve$/292 $HT2CHR($base(02D8, 16, 10)) @ /^dot$/293 $HT2CHR($base(02D9, 16, 10)) @ /^DiacriticalDot$/294 $HT2CHR($base(02D9, 16, 10)) @ /^ring$/295 $HT2CHR($base(02DA, 16, 10)) @ /^ogon$/296 $HT2CHR($base(02DB, 16, 10)) @ /^tilde$/297 $HT2CHR($base(02DC, 16, 10)) @ /^DiacriticalTilde$/298 $HT2CHR($base(02DC, 16, 10)) @ /^dblac$/299 $HT2CHR($base(02DD, 16, 10)) @ /^DiacriticalDoubleAcute$/300 $HT2CHR($base(02DD, 16, 10)) @ /^DownBreve$/301 $HT2CHR($base(0311, 16, 10)) @ /^Aacgr$/302 $HT2CHR($base(0386, 16, 10)) @ /^Eacgr$/303 $HT2CHR($base(0388, 16, 10)) @ /^EEacgr$/304 $HT2CHR($base(0389, 16, 10)) @ /^Iacgr$/305 $HT2CHR($base(038A, 16, 10)) @ /^Oacgr$/306 $HT2CHR($base(038C, 16, 10)) @ /^Uacgr$/307 $HT2CHR($base(038E, 16, 10)) @ /^OHacgr$/308 $HT2CHR($base(038F, 16, 10)) @ /^idiagr$/309 $HT2CHR($base(0390, 16, 10)) @ /^Alpha$/310 $HT2CHR($base(0391, 16, 10)) @ /^Agr$/311 $HT2CHR($base(0391, 16, 10)) @ /^Bgr$/312 $HT2CHR($base(0392, 16, 10)) @ /^Beta$/313 $HT2CHR($base(0392, 16, 10)) @ /^Gamma$/314 $HT2CHR($base(0393, 16, 10)) @ /^Ggr$/315 $HT2CHR($base(0393, 16, 10)) @ /^Delta$/316 $HT2CHR($base(0394, 16, 10)) @ /^Dgr$/317 $HT2CHR($base(0394, 16, 10)) @ /^Egr$/318 $HT2CHR($base(0395, 16, 10)) @ /^Epsilon$/319 $HT2CHR($base(0395, 16, 10)) @ /^Zgr$/320 $HT2CHR($base(0396, 16, 10)) @ /^Zeta$/321 $HT2CHR($base(0396, 16, 10)) @ /^EEgr$/322 $HT2CHR($base(0397, 16, 10)) @ /^Eta$/323 $HT2CHR($base(0397, 16, 10)) @ /^THgr$/324 $HT2CHR($base(0398, 16, 10)) @ /^Theta$/325 $HT2CHR($base(0398, 16, 10)) @ /^Igr$/326 $HT2CHR($base(0399, 16, 10)) @ /^Iota$/327 $HT2CHR($base(0399, 16, 10)) @ /^Kgr$/328 $HT2CHR($base(039A, 16, 10)) @ /^Kappa$/329 $HT2CHR($base(039A, 16, 10)) @ /^Lambda$/330 $HT2CHR($base(039B, 16, 10)) @ /^Lgr$/331 $HT2CHR($base(039B, 16, 10)) @ /^Mgr$/332 $HT2CHR($base(039C, 16, 10)) @ /^Mu$/333 $HT2CHR($base(039C, 16, 10)) @ /^Ngr$/334 $HT2CHR($base(039D, 16, 10)) @ /^Nu$/335 $HT2CHR($base(039D, 16, 10)) @ /^Xgr$/336 $HT2CHR($base(039E, 16, 10)) @ /^Xi$/337 $HT2CHR($base(039E, 16, 10)) @ /^Ogr$/338 $HT2CHR($base(039F, 16, 10)) @ /^Omicron$/339 $HT2CHR($base(039F, 16, 10)) @ /^Pgr$/340 $HT2CHR($base(03A0, 16, 10)) @ /^Pi$/341 $HT2CHR($base(03A0, 16, 10)) @ /^Rgr$/342 $HT2CHR($base(03A1, 16, 10)) @ /^Rho$/343 $HT2CHR($base(03A1, 16, 10)) @ /^Sgr$/344 $HT2CHR($base(03A3, 16, 10)) @ /^Sigma$/345 $HT2CHR($base(03A3, 16, 10)) @ /^Tgr$/346 $HT2CHR($base(03A4, 16, 10)) @ /^Tau$/347 $HT2CHR($base(03A4, 16, 10)) @ /^Ugr$/348 $HT2CHR($base(03A5, 16, 10)) @ /^Upsilon$/349 $HT2CHR($base(03A5, 16, 10)) @ /^PHgr$/350 $HT2CHR($base(03A6, 16, 10)) @ /^Phi$/351 $HT2CHR($base(03A6, 16, 10)) @ /^KHgr$/352 $HT2CHR($base(03A7, 16, 10)) @ /^Chi$/353 $HT2CHR($base(03A7, 16, 10)) @ /^PSgr$/354 $HT2CHR($base(03A8, 16, 10)) @ /^Psi$/355 $HT2CHR($base(03A8, 16, 10)) @ /^OHgr$/356 $HT2CHR($base(03A9, 16, 10)) @ /^Omega$/357 $HT2CHR($base(03A9, 16, 10)) @ /^ohm$/358 $HT2CHR($base(03A9, 16, 10)) @ /^Idigr$/359 $HT2CHR($base(03AA, 16, 10)) @ /^Udigr$/360 $HT2CHR($base(03AB, 16, 10)) @ /^aacgr$/361 $HT2CHR($base(03AC, 16, 10)) @ /^eacgr$/362 $HT2CHR($base(03AD, 16, 10)) @ /^eeacgr$/363 $HT2CHR($base(03AE, 16, 10)) @ /^iacgr$/364 $HT2CHR($base(03AF, 16, 10)) @ /^udiagr$/365 $HT2CHR($base(03B0, 16, 10)) @ /^agr$/366 $HT2CHR($base(03B1, 16, 10)) @ /^alpha$/367 $HT2CHR($base(03B1, 16, 10)) @ /^beta$/368 $HT2CHR($base(03B2, 16, 10)) @
  113.     dotokadd /^bgr$/369 $HT2CHR($base(03B2, 16, 10)) @ /^gamma$/370 $HT2CHR($base(03B3, 16, 10)) @ /^ggr$/371 $HT2CHR($base(03B3, 16, 10)) @ /^delta$/372 $HT2CHR($base(03B4, 16, 10)) @ /^dgr$/373 $HT2CHR($base(03B4, 16, 10)) @ /^egr$/374 $HT2CHR($base(03B5, 16, 10)) @ /^epsi$/375 $HT2CHR($base(03B5, 16, 10)) @ /^epsilon$/376 $HT2CHR($base(03B5, 16, 10)) @ /^zeta$/377 $HT2CHR($base(03B6, 16, 10)) @ /^zgr$/378 $HT2CHR($base(03B6, 16, 10)) @ /^eegr$/379 $HT2CHR($base(03B7, 16, 10)) @ /^eta$/380 $HT2CHR($base(03B7, 16, 10)) @ /^theta$/381 $HT2CHR($base(03B8, 16, 10)) @ /^thgr$/382 $HT2CHR($base(03B8, 16, 10)) @ /^igr$/383 $HT2CHR($base(03B9, 16, 10)) @ /^iota$/384 $HT2CHR($base(03B9, 16, 10)) @ /^kappa$/385 $HT2CHR($base(03BA, 16, 10)) @ /^kgr$/386 $HT2CHR($base(03BA, 16, 10)) @ /^lambda$/387 $HT2CHR($base(03BB, 16, 10)) @ /^lgr$/388 $HT2CHR($base(03BB, 16, 10)) @ /^mgr$/389 $HT2CHR($base(03BC, 16, 10)) @ /^mu$/390 $HT2CHR($base(03BC, 16, 10)) @ /^ngr$/391 $HT2CHR($base(03BD, 16, 10)) @ /^nu$/392 $HT2CHR($base(03BD, 16, 10)) @ /^xgr$/393 $HT2CHR($base(03BE, 16, 10)) @ /^xi$/394 $HT2CHR($base(03BE, 16, 10)) @ /^omicron$/395 $HT2CHR($base(03BF, 16, 10)) @ /^ogr$/396 $HT2CHR($base(03BF, 16, 10)) @ /^pgr$/397 $HT2CHR($base(03C0, 16, 10)) @ /^pi$/398 $HT2CHR($base(03C0, 16, 10)) @ /^rgr$/399 $HT2CHR($base(03C1, 16, 10)) @ /^rho$/400 $HT2CHR($base(03C1, 16, 10)) @ /^sfgr$/401 $HT2CHR($base(03C2, 16, 10)) @ /^sigmav$/402 $HT2CHR($base(03C2, 16, 10)) @ /^varsigma$/403 $HT2CHR($base(03C2, 16, 10)) @ /^sigmaf$/404 $HT2CHR($base(03C2, 16, 10)) @ /^sgr$/405 $HT2CHR($base(03C3, 16, 10)) @ /^sigma$/406 $HT2CHR($base(03C3, 16, 10)) @ /^tau$/407 $HT2CHR($base(03C4, 16, 10)) @ /^tgr$/408 $HT2CHR($base(03C4, 16, 10)) @ /^ugr$/409 $HT2CHR($base(03C5, 16, 10)) @ /^upsi$/410 $HT2CHR($base(03C5, 16, 10)) @ /^upsilon$/411 $HT2CHR($base(03C5, 16, 10)) @ /^phi$/412 $HT2CHR($base(03C6, 16, 10)) @ /^phgr$/413 $HT2CHR($base(03C6, 16, 10)) @ /^chi$/414 $HT2CHR($base(03C7, 16, 10)) @ /^khgr$/415 $HT2CHR($base(03C7, 16, 10)) @ /^psgr$/416 $HT2CHR($base(03C8, 16, 10)) @ /^psi$/417 $HT2CHR($base(03C8, 16, 10)) @ /^ohgr$/418 $HT2CHR($base(03C9, 16, 10)) @ /^omega$/419 $HT2CHR($base(03C9, 16, 10)) @ /^idigr$/420 $HT2CHR($base(03CA, 16, 10)) @ /^udigr$/421 $HT2CHR($base(03CB, 16, 10)) @ /^oacgr$/422 $HT2CHR($base(03CC, 16, 10)) @ /^uacgr$/423 $HT2CHR($base(03CD, 16, 10)) @ /^ohacgr$/424 $HT2CHR($base(03CE, 16, 10)) @ /^thetav$/425 $HT2CHR($base(03D1, 16, 10)) @ /^vartheta$/426 $HT2CHR($base(03D1, 16, 10)) @ /^thetasym$/427 $HT2CHR($base(03D1, 16, 10)) @ /^Upsi$/428 $HT2CHR($base(03D2, 16, 10)) @ /^upsih$/429 $HT2CHR($base(03D2, 16, 10)) @ /^straightphi$/430 $HT2CHR($base(03D5, 16, 10)) @ /^phiv$/431 $HT2CHR($base(03D5, 16, 10)) @ /^varphi$/432 $HT2CHR($base(03D5, 16, 10)) @ /^piv$/433 $HT2CHR($base(03D6, 16, 10)) @ /^varpi$/434 $HT2CHR($base(03D6, 16, 10)) @ /^Gammad$/435 $HT2CHR($base(03DC, 16, 10)) @ /^gammad$/436 $HT2CHR($base(03DD, 16, 10)) @ /^digamma$/437 $HT2CHR($base(03DD, 16, 10)) @ /^kappav$/438 $HT2CHR($base(03F0, 16, 10)) @ /^varkappa$/439 $HT2CHR($base(03F0, 16, 10)) @ /^rhov$/440 $HT2CHR($base(03F1, 16, 10)) @ /^varrho$/441 $HT2CHR($base(03F1, 16, 10)) @ /^epsiv$/442 $HT2CHR($base(03F5, 16, 10)) @ /^straightepsilon$/443 $HT2CHR($base(03F5, 16, 10)) @ /^varepsilon$/444 $HT2CHR($base(03F5, 16, 10)) @ /^bepsi$/445 $HT2CHR($base(03F6, 16, 10)) @ /^backepsilon$/446 $HT2CHR($base(03F6, 16, 10)) @ /^IOcy$/447 $HT2CHR($base(0401, 16, 10)) @ /^DJcy$/448 $HT2CHR($base(0402, 16, 10)) @ /^GJcy$/449 $HT2CHR($base(0403, 16, 10)) @ /^Jukcy$/450 $HT2CHR($base(0404, 16, 10)) @ /^DScy$/451 $HT2CHR($base(0405, 16, 10)) @ /^Iukcy$/452 $HT2CHR($base(0406, 16, 10)) @ /^YIcy$/453 $HT2CHR($base(0407, 16, 10)) @ /^Jsercy$/454 $HT2CHR($base(0408, 16, 10)) @ /^LJcy$/455 $HT2CHR($base(0409, 16, 10)) @ /^NJcy$/456 $HT2CHR($base(040A, 16, 10)) @ /^TSHcy$/457 $HT2CHR($base(040B, 16, 10)) @ /^KJcy$/458 $HT2CHR($base(040C, 16, 10)) @ /^Ubrcy$/459 $HT2CHR($base(040E, 16, 10)) @ /^DZcy$/460 $HT2CHR($base(040F, 16, 10)) @ /^Acy$/461 $HT2CHR($base(0410, 16, 10)) @ /^Bcy$/462 $HT2CHR($base(0411, 16, 10)) @ /^Vcy$/463 $HT2CHR($base(0412, 16, 10)) @ /^Gcy$/464 $HT2CHR($base(0413, 16, 10)) @ /^Dcy$/465 $HT2CHR($base(0414, 16, 10)) @ /^IEcy$/466 $HT2CHR($base(0415, 16, 10)) @ /^ZHcy$/467 $HT2CHR($base(0416, 16, 10)) @ /^Zcy$/468 $HT2CHR($base(0417, 16, 10)) @ /^Icy$/469 $HT2CHR($base(0418, 16, 10)) @ /^Jcy$/470 $HT2CHR($base(0419, 16, 10)) @ /^Kcy$/471 $HT2CHR($base(041A, 16, 10)) @ /^Lcy$/472 $HT2CHR($base(041B, 16, 10)) @ /^Mcy$/473 $HT2CHR($base(041C, 16, 10)) @ /^Ncy$/474 $HT2CHR($base(041D, 16, 10)) @ /^Ocy$/475 $HT2CHR($base(041E, 16, 10)) @ /^Pcy$/476 $HT2CHR($base(041F, 16, 10)) @ /^Rcy$/477 $HT2CHR($base(0420, 16, 10)) @ /^Scy$/478 $HT2CHR($base(0421, 16, 10)) @ /^Tcy$/479 $HT2CHR($base(0422, 16, 10)) @ /^Ucy$/480 $HT2CHR($base(0423, 16, 10)) @ /^Fcy$/481 $HT2CHR($base(0424, 16, 10)) @ /^KHcy$/482 $HT2CHR($base(0425, 16, 10)) @ /^TScy$/483 $HT2CHR($base(0426, 16, 10)) @ /^CHcy$/484 $HT2CHR($base(0427, 16, 10)) @ /^SHcy$/485 $HT2CHR($base(0428, 16, 10)) @ /^SHCHcy$/486 $HT2CHR($base(0429, 16, 10)) @ /^HARDcy$/487 $HT2CHR($base(042A, 16, 10)) @ /^Ycy$/488 $HT2CHR($base(042B, 16, 10)) @ /^SOFTcy$/489 $HT2CHR($base(042C, 16, 10)) @ /^Ecy$/490 $HT2CHR($base(042D, 16, 10)) @ /^YUcy$/491 $HT2CHR($base(042E, 16, 10)) @ /^YAcy$/492 $HT2CHR($base(042F, 16, 10)) @ /^acy$/493 $HT2CHR($base(0430, 16, 10)) @ /^bcy$/494 $HT2CHR($base(0431, 16, 10)) @ /^vcy$/495 $HT2CHR($base(0432, 16, 10)) @ /^gcy$/496 $HT2CHR($base(0433, 16, 10)) @ /^dcy$/497 $HT2CHR($base(0434, 16, 10)) @ /^iecy$/498 $HT2CHR($base(0435, 16, 10)) @ /^zhcy$/499 $HT2CHR($base(0436, 16, 10)) @ /^zcy$/500 $HT2CHR($base(0437, 16, 10)) @ /^icy$/501 $HT2CHR($base(0438, 16, 10)) @ /^jcy$/502 $HT2CHR($base(0439, 16, 10)) @ /^kcy$/503 $HT2CHR($base(043A, 16, 10)) @ /^lcy$/504 $HT2CHR($base(043B, 16, 10)) @ /^mcy$/505 $HT2CHR($base(043C, 16, 10)) @ /^ncy$/506 $HT2CHR($base(043D, 16, 10)) @
  114.     dotokadd /^ocy$/507 $HT2CHR($base(043E, 16, 10)) @ /^pcy$/508 $HT2CHR($base(043F, 16, 10)) @ /^rcy$/509 $HT2CHR($base(0440, 16, 10)) @ /^scy$/510 $HT2CHR($base(0441, 16, 10)) @ /^tcy$/511 $HT2CHR($base(0442, 16, 10)) @ /^ucy$/512 $HT2CHR($base(0443, 16, 10)) @ /^fcy$/513 $HT2CHR($base(0444, 16, 10)) @ /^khcy$/514 $HT2CHR($base(0445, 16, 10)) @ /^tscy$/515 $HT2CHR($base(0446, 16, 10)) @ /^chcy$/516 $HT2CHR($base(0447, 16, 10)) @ /^shcy$/517 $HT2CHR($base(0448, 16, 10)) @ /^shchcy$/518 $HT2CHR($base(0449, 16, 10)) @ /^hardcy$/519 $HT2CHR($base(044A, 16, 10)) @ /^ycy$/520 $HT2CHR($base(044B, 16, 10)) @ /^softcy$/521 $HT2CHR($base(044C, 16, 10)) @ /^ecy$/522 $HT2CHR($base(044D, 16, 10)) @ /^yucy$/523 $HT2CHR($base(044E, 16, 10)) @ /^yacy$/524 $HT2CHR($base(044F, 16, 10)) @ /^iocy$/525 $HT2CHR($base(0451, 16, 10)) @ /^djcy$/526 $HT2CHR($base(0452, 16, 10)) @ /^gjcy$/527 $HT2CHR($base(0453, 16, 10)) @ /^jukcy$/528 $HT2CHR($base(0454, 16, 10)) @ /^dscy$/529 $HT2CHR($base(0455, 16, 10)) @ /^iukcy$/530 $HT2CHR($base(0456, 16, 10)) @ /^yicy$/531 $HT2CHR($base(0457, 16, 10)) @ /^jsercy$/532 $HT2CHR($base(0458, 16, 10)) @ /^ljcy$/533 $HT2CHR($base(0459, 16, 10)) @ /^njcy$/534 $HT2CHR($base(045A, 16, 10)) @ /^tshcy$/535 $HT2CHR($base(045B, 16, 10)) @ /^kjcy$/536 $HT2CHR($base(045C, 16, 10)) @ /^ubrcy$/537 $HT2CHR($base(045E, 16, 10)) @ /^dzcy$/538 $HT2CHR($base(045F, 16, 10)) @ /^ensp$/539 $HT2CHR($base(2002, 16, 10)) @ /^emsp$/540 $HT2CHR($base(2003, 16, 10)) @ /^emsp13$/541 $HT2CHR($base(2004, 16, 10)) @ /^emsp14$/542 $HT2CHR($base(2005, 16, 10)) @ /^numsp$/543 $HT2CHR($base(2007, 16, 10)) @ /^puncsp$/544 $HT2CHR($base(2008, 16, 10)) @ /^thinsp$/545 $HT2CHR($base(2009, 16, 10)) @ /^ThinSpace$/546 $HT2CHR($base(2009, 16, 10)) @ /^hairsp$/547 $HT2CHR($base(200A, 16, 10)) @ /^VeryThinSpace$/548 $HT2CHR($base(200A, 16, 10)) @ /^ZeroWidthSpace$/549 $HT2CHR($base(200B, 16, 10)) @ /^NegativeVeryThinSpace$/550 $HT2CHR($base(200B, 16, 10)) @ /^NegativeThinSpace$/551 $HT2CHR($base(200B, 16, 10)) @ /^NegativeMediumSpace$/552 $HT2CHR($base(200B, 16, 10)) @ /^NegativeThickSpace$/553 $HT2CHR($base(200B, 16, 10)) @ /^zwnj$/554 $HT2CHR($base(200C, 16, 10)) @ /^zwj$/555 $HT2CHR($base(200D, 16, 10)) @ /^lrm$/556 $HT2CHR($base(200E, 16, 10)) @ /^rlm$/557 $HT2CHR($base(200F, 16, 10)) @ /^hyphen$/558 $HT2CHR($base(2010, 16, 10)) @ /^dash$/559 $HT2CHR($base(2010, 16, 10)) @ /^ndash$/560 $HT2CHR($base(2013, 16, 10)) @ /^mdash$/561 $HT2CHR($base(2014, 16, 10)) @ /^horbar$/562 $HT2CHR($base(2015, 16, 10)) @ /^Verbar$/563 $HT2CHR($base(2016, 16, 10)) @ /^Vert$/564 $HT2CHR($base(2016, 16, 10)) @ /^lsquo$/565 $HT2CHR($base(2018, 16, 10)) @ /^OpenCurlyQuote$/566 $HT2CHR($base(2018, 16, 10)) @ /^rsquo$/567 $HT2CHR($base(2019, 16, 10)) @ /^rsquor$/568 $HT2CHR($base(2019, 16, 10)) @ /^CloseCurlyQuote$/569 $HT2CHR($base(2019, 16, 10)) @ /^lsquor$/570 $HT2CHR($base(201A, 16, 10)) @ /^sbquo$/571 $HT2CHR($base(201A, 16, 10)) @ /^ldquo$/572 $HT2CHR($base(201C, 16, 10)) @ /^OpenCurlyDoubleQuote$/573 $HT2CHR($base(201C, 16, 10)) @ /^rdquo$/574 $HT2CHR($base(201D, 16, 10)) @ /^rdquor$/575 $HT2CHR($base(201D, 16, 10)) @ /^CloseCurlyDoubleQuote$/576 $HT2CHR($base(201D, 16, 10)) @ /^ldquor$/577 $HT2CHR($base(201E, 16, 10)) @ /^bdquo$/578 $HT2CHR($base(201E, 16, 10)) @ /^dagger$/579 $HT2CHR($base(2020, 16, 10)) @ /^Dagger$/580 $HT2CHR($base(2021, 16, 10)) @ /^ddagger$/581 $HT2CHR($base(2021, 16, 10)) @ /^bull$/582 $HT2CHR($base(2022, 16, 10)) @ /^bullet$/583 $HT2CHR($base(2022, 16, 10)) @ /^nldr$/584 $HT2CHR($base(2025, 16, 10)) @ /^hellip$/585 $HT2CHR($base(2026, 16, 10)) @ /^mldr$/586 $HT2CHR($base(2026, 16, 10)) @ /^permil$/587 $HT2CHR($base(2030, 16, 10)) @ /^pertenk$/588 $HT2CHR($base(2031, 16, 10)) @ /^prime$/589 $HT2CHR($base(2032, 16, 10)) @ /^Prime$/590 $HT2CHR($base(2033, 16, 10)) @ /^tprime$/591 $HT2CHR($base(2034, 16, 10)) @ /^bprime$/592 $HT2CHR($base(2035, 16, 10)) @ /^backprime$/593 $HT2CHR($base(2035, 16, 10)) @ /^lsaquo$/594 $HT2CHR($base(2039, 16, 10)) @ /^rsaquo$/595 $HT2CHR($base(203A, 16, 10)) @ /^oline$/596 $HT2CHR($base(203E, 16, 10)) @ /^OverBar$/597 $HT2CHR($base(203E, 16, 10)) @ /^caret$/598 $HT2CHR($base(2041, 16, 10)) @ /^hybull$/599 $HT2CHR($base(2043, 16, 10)) @ /^frasl$/600 $HT2CHR($base(2044, 16, 10)) @ /^bsemi$/601 $HT2CHR($base(204F, 16, 10)) @ /^qprime$/602 $HT2CHR($base(2057, 16, 10)) @ /^MediumSpace$/603 $HT2CHR($base(205F, 16, 10)) @ /^ThickSpace$/604 $HT2CHR($base(205F, 16, 10)) $+ $HT2CHR($base(200A, 16, 10)) @ /^NoBreak$/605 $HT2CHR($base(2060, 16, 10)) @ /^ApplyFunction$/606 $HT2CHR($base(2061, 16, 10)) @ /^af$/607 $HT2CHR($base(2061, 16, 10)) @ /^InvisibleTimes$/608 $HT2CHR($base(2062, 16, 10)) @ /^it$/609 $HT2CHR($base(2062, 16, 10)) @ /^InvisibleComma$/610 $HT2CHR($base(2063, 16, 10)) @ /^ic$/611 $HT2CHR($base(2063, 16, 10)) @ /^euro$/612 $HT2CHR($base(20AC, 16, 10)) @ /^tdot$/613 $HT2CHR($base(20DB, 16, 10)) @ /^TripleDot$/614 $HT2CHR($base(20DB, 16, 10)) @ /^DotDot$/615 $HT2CHR($base(20DC, 16, 10)) @ /^Copf$/616 $HT2CHR($base(2102, 16, 10)) @ /^complexes$/617 $HT2CHR($base(2102, 16, 10)) @ /^incare$/618 $HT2CHR($base(2105, 16, 10)) @ /^gscr$/619 $HT2CHR($base(210A, 16, 10)) @ /^hamilt$/620 $HT2CHR($base(210B, 16, 10)) @ /^HilbertSpace$/621 $HT2CHR($base(210B, 16, 10)) @ /^Hscr$/622 $HT2CHR($base(210B, 16, 10)) @ /^Hfr$/623 $HT2CHR($base(210C, 16, 10)) @ /^Poincareplane$/624 $HT2CHR($base(210C, 16, 10)) @ /^quaternions$/625 $HT2CHR($base(210D, 16, 10)) @ /^Hopf$/626 $HT2CHR($base(210D, 16, 10)) @ /^planckh$/627 $HT2CHR($base(210E, 16, 10)) @ /^planck$/628 $HT2CHR($base(210F, 16, 10)) @ /^hbar$/629 $HT2CHR($base(210F, 16, 10)) @ /^plankv$/630 $HT2CHR($base(210F, 16, 10)) @ /^hslash$/631 $HT2CHR($base(210F, 16, 10)) @ /^Iscr$/632 $HT2CHR($base(2110, 16, 10)) @ /^imagline$/633 $HT2CHR($base(2110, 16, 10)) @ /^image$/634 $HT2CHR($base(2111, 16, 10)) @ /^Im$/635 $HT2CHR($base(2111, 16, 10)) @ /^imagpart$/636 $HT2CHR($base(2111, 16, 10)) @ /^Ifr$/637 $HT2CHR($base(2111, 16, 10)) @
  115.     dotokadd /^Lscr$/638 $HT2CHR($base(2112, 16, 10)) @ /^lagran$/639 $HT2CHR($base(2112, 16, 10)) @ /^Laplacetrf$/640 $HT2CHR($base(2112, 16, 10)) @ /^ell$/641 $HT2CHR($base(2113, 16, 10)) @ /^Nopf$/642 $HT2CHR($base(2115, 16, 10)) @ /^naturals$/643 $HT2CHR($base(2115, 16, 10)) @ /^numero$/644 $HT2CHR($base(2116, 16, 10)) @ /^copysr$/645 $HT2CHR($base(2117, 16, 10)) @ /^weierp$/646 $HT2CHR($base(2118, 16, 10)) @ /^wp$/647 $HT2CHR($base(2118, 16, 10)) @ /^Popf$/648 $HT2CHR($base(2119, 16, 10)) @ /^primes$/649 $HT2CHR($base(2119, 16, 10)) @ /^rationals$/650 $HT2CHR($base(211A, 16, 10)) @ /^Qopf$/651 $HT2CHR($base(211A, 16, 10)) @ /^Rscr$/652 $HT2CHR($base(211B, 16, 10)) @ /^realine$/653 $HT2CHR($base(211B, 16, 10)) @ /^real$/654 $HT2CHR($base(211C, 16, 10)) @ /^Re$/655 $HT2CHR($base(211C, 16, 10)) @ /^realpart$/656 $HT2CHR($base(211C, 16, 10)) @ /^Rfr$/657 $HT2CHR($base(211C, 16, 10)) @ /^reals$/658 $HT2CHR($base(211D, 16, 10)) @ /^Ropf$/659 $HT2CHR($base(211D, 16, 10)) @ /^rx$/660 $HT2CHR($base(211E, 16, 10)) @ /^trade$/661 $HT2CHR($base(2122, 16, 10)) @ /^TRADE$/662 $HT2CHR($base(2122, 16, 10)) @ /^integers$/663 $HT2CHR($base(2124, 16, 10)) @ /^Zopf$/664 $HT2CHR($base(2124, 16, 10)) @ /^mho$/665 $HT2CHR($base(2127, 16, 10)) @ /^Zfr$/666 $HT2CHR($base(2128, 16, 10)) @ /^zeetrf$/667 $HT2CHR($base(2128, 16, 10)) @ /^iiota$/668 $HT2CHR($base(2129, 16, 10)) @ /^bernou$/669 $HT2CHR($base(212C, 16, 10)) @ /^Bernoullis$/670 $HT2CHR($base(212C, 16, 10)) @ /^Bscr$/671 $HT2CHR($base(212C, 16, 10)) @ /^Cfr$/672 $HT2CHR($base(212D, 16, 10)) @ /^Cayleys$/673 $HT2CHR($base(212D, 16, 10)) @ /^escr$/674 $HT2CHR($base(212F, 16, 10)) @ /^Escr$/675 $HT2CHR($base(2130, 16, 10)) @ /^expectation$/676 $HT2CHR($base(2130, 16, 10)) @ /^Fscr$/677 $HT2CHR($base(2131, 16, 10)) @ /^Fouriertrf$/678 $HT2CHR($base(2131, 16, 10)) @ /^phmmat$/679 $HT2CHR($base(2133, 16, 10)) @ /^Mellintrf$/680 $HT2CHR($base(2133, 16, 10)) @ /^Mscr$/681 $HT2CHR($base(2133, 16, 10)) @ /^order$/682 $HT2CHR($base(2134, 16, 10)) @ /^orderof$/683 $HT2CHR($base(2134, 16, 10)) @ /^oscr$/684 $HT2CHR($base(2134, 16, 10)) @ /^alefsym$/685 $HT2CHR($base(2135, 16, 10)) @ /^aleph$/686 $HT2CHR($base(2135, 16, 10)) @ /^beth$/687 $HT2CHR($base(2136, 16, 10)) @ /^gimel$/688 $HT2CHR($base(2137, 16, 10)) @ /^daleth$/689 $HT2CHR($base(2138, 16, 10)) @ /^CapitalDifferentialD$/690 $HT2CHR($base(2145, 16, 10)) @ /^DD$/691 $HT2CHR($base(2145, 16, 10)) @ /^DifferentialD$/692 $HT2CHR($base(2146, 16, 10)) @ /^dd$/693 $HT2CHR($base(2146, 16, 10)) @ /^ExponentialE$/694 $HT2CHR($base(2147, 16, 10)) @ /^exponentiale$/695 $HT2CHR($base(2147, 16, 10)) @ /^ee$/696 $HT2CHR($base(2147, 16, 10)) @ /^ImaginaryI$/697 $HT2CHR($base(2148, 16, 10)) @ /^ii$/698 $HT2CHR($base(2148, 16, 10)) @ /^frac13$/699 $HT2CHR($base(2153, 16, 10)) @ /^frac23$/700 $HT2CHR($base(2154, 16, 10)) @ /^frac15$/701 $HT2CHR($base(2155, 16, 10)) @ /^frac25$/702 $HT2CHR($base(2156, 16, 10)) @ /^frac35$/703 $HT2CHR($base(2157, 16, 10)) @ /^frac45$/704 $HT2CHR($base(2158, 16, 10)) @ /^frac16$/705 $HT2CHR($base(2159, 16, 10)) @ /^frac56$/706 $HT2CHR($base(215A, 16, 10)) @ /^frac18$/707 $HT2CHR($base(215B, 16, 10)) @ /^frac38$/708 $HT2CHR($base(215C, 16, 10)) @ /^frac58$/709 $HT2CHR($base(215D, 16, 10)) @ /^frac78$/710 $HT2CHR($base(215E, 16, 10)) @ /^larr$/711 $HT2CHR($base(2190, 16, 10)) @ /^leftarrow$/712 $HT2CHR($base(2190, 16, 10)) @ /^LeftArrow$/713 $HT2CHR($base(2190, 16, 10)) @ /^slarr$/714 $HT2CHR($base(2190, 16, 10)) @ /^ShortLeftArrow$/715 $HT2CHR($base(2190, 16, 10)) @ /^uarr$/716 $HT2CHR($base(2191, 16, 10)) @ /^uparrow$/717 $HT2CHR($base(2191, 16, 10)) @ /^UpArrow$/718 $HT2CHR($base(2191, 16, 10)) @ /^ShortUpArrow$/719 $HT2CHR($base(2191, 16, 10)) @ /^rarr$/720 $HT2CHR($base(2192, 16, 10)) @ /^rightarrow$/721 $HT2CHR($base(2192, 16, 10)) @ /^RightArrow$/722 $HT2CHR($base(2192, 16, 10)) @ /^srarr$/723 $HT2CHR($base(2192, 16, 10)) @ /^ShortRightArrow$/724 $HT2CHR($base(2192, 16, 10)) @ /^darr$/725 $HT2CHR($base(2193, 16, 10)) @ /^downarrow$/726 $HT2CHR($base(2193, 16, 10)) @ /^DownArrow$/727 $HT2CHR($base(2193, 16, 10)) @ /^ShortDownArrow$/728 $HT2CHR($base(2193, 16, 10)) @ /^harr$/729 $HT2CHR($base(2194, 16, 10)) @ /^leftrightarrow$/730 $HT2CHR($base(2194, 16, 10)) @ /^LeftRightArrow$/731 $HT2CHR($base(2194, 16, 10)) @ /^varr$/732 $HT2CHR($base(2195, 16, 10)) @ /^updownarrow$/733 $HT2CHR($base(2195, 16, 10)) @ /^UpDownArrow$/734 $HT2CHR($base(2195, 16, 10)) @ /^nwarr$/735 $HT2CHR($base(2196, 16, 10)) @ /^UpperLeftArrow$/736 $HT2CHR($base(2196, 16, 10)) @ /^nwarrow$/737 $HT2CHR($base(2196, 16, 10)) @ /^nearr$/738 $HT2CHR($base(2197, 16, 10)) @ /^UpperRightArrow$/739 $HT2CHR($base(2197, 16, 10)) @ /^nearrow$/740 $HT2CHR($base(2197, 16, 10)) @ /^searr$/741 $HT2CHR($base(2198, 16, 10)) @ /^searrow$/742 $HT2CHR($base(2198, 16, 10)) @ /^LowerRightArrow$/743 $HT2CHR($base(2198, 16, 10)) @ /^swarr$/744 $HT2CHR($base(2199, 16, 10)) @ /^swarrow$/745 $HT2CHR($base(2199, 16, 10)) @ /^LowerLeftArrow$/746 $HT2CHR($base(2199, 16, 10)) @ /^nlarr$/747 $HT2CHR($base(219A, 16, 10)) @ /^nleftarrow$/748 $HT2CHR($base(219A, 16, 10)) @ /^nrarr$/749 $HT2CHR($base(219B, 16, 10)) @ /^nrightarrow$/750 $HT2CHR($base(219B, 16, 10)) @ /^rarrw$/751 $HT2CHR($base(219D, 16, 10)) @ /^rightsquigarrow$/752 $HT2CHR($base(219D, 16, 10)) @ /^nrarrw$/753 $HT2CHR($base(219D, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^Larr$/754 $HT2CHR($base(219E, 16, 10)) @ /^twoheadleftarrow$/755 $HT2CHR($base(219E, 16, 10)) @ /^Uarr$/756 $HT2CHR($base(219F, 16, 10)) @ /^Rarr$/757 $HT2CHR($base(21A0, 16, 10)) @ /^twoheadrightarrow$/758 $HT2CHR($base(21A0, 16, 10)) @ /^Darr$/759 $HT2CHR($base(21A1, 16, 10)) @ /^larrtl$/760 $HT2CHR($base(21A2, 16, 10)) @ /^leftarrowtail$/761 $HT2CHR($base(21A2, 16, 10)) @ /^rarrtl$/762 $HT2CHR($base(21A3, 16, 10)) @ /^rightarrowtail$/763 $HT2CHR($base(21A3, 16, 10)) @ /^LeftTeeArrow$/764 $HT2CHR($base(21A4, 16, 10)) @ /^mapstoleft$/765 $HT2CHR($base(21A4, 16, 10)) @ /^UpTeeArrow$/766 $HT2CHR($base(21A5, 16, 10)) @
  116.     dotokadd /^mapstoup$/767 $HT2CHR($base(21A5, 16, 10)) @ /^map$/768 $HT2CHR($base(21A6, 16, 10)) @ /^RightTeeArrow$/769 $HT2CHR($base(21A6, 16, 10)) @ /^mapsto$/770 $HT2CHR($base(21A6, 16, 10)) @ /^DownTeeArrow$/771 $HT2CHR($base(21A7, 16, 10)) @ /^mapstodown$/772 $HT2CHR($base(21A7, 16, 10)) @ /^larrhk$/773 $HT2CHR($base(21A9, 16, 10)) @ /^hookleftarrow$/774 $HT2CHR($base(21A9, 16, 10)) @ /^rarrhk$/775 $HT2CHR($base(21AA, 16, 10)) @ /^hookrightarrow$/776 $HT2CHR($base(21AA, 16, 10)) @ /^larrlp$/777 $HT2CHR($base(21AB, 16, 10)) @ /^looparrowleft$/778 $HT2CHR($base(21AB, 16, 10)) @ /^rarrlp$/779 $HT2CHR($base(21AC, 16, 10)) @ /^looparrowright$/780 $HT2CHR($base(21AC, 16, 10)) @ /^harrw$/781 $HT2CHR($base(21AD, 16, 10)) @ /^leftrightsquigarrow$/782 $HT2CHR($base(21AD, 16, 10)) @ /^nharr$/783 $HT2CHR($base(21AE, 16, 10)) @ /^nleftrightarrow$/784 $HT2CHR($base(21AE, 16, 10)) @ /^lsh$/785 $HT2CHR($base(21B0, 16, 10)) @ /^Lsh$/786 $HT2CHR($base(21B0, 16, 10)) @ /^rsh$/787 $HT2CHR($base(21B1, 16, 10)) @ /^Rsh$/788 $HT2CHR($base(21B1, 16, 10)) @ /^ldsh$/789 $HT2CHR($base(21B2, 16, 10)) @ /^rdsh$/790 $HT2CHR($base(21B3, 16, 10)) @ /^crarr$/791 $HT2CHR($base(21B5, 16, 10)) @ /^cularr$/792 $HT2CHR($base(21B6, 16, 10)) @ /^curvearrowleft$/793 $HT2CHR($base(21B6, 16, 10)) @ /^curarr$/794 $HT2CHR($base(21B7, 16, 10)) @ /^curvearrowright$/795 $HT2CHR($base(21B7, 16, 10)) @ /^olarr$/796 $HT2CHR($base(21BA, 16, 10)) @ /^circlearrowleft$/797 $HT2CHR($base(21BA, 16, 10)) @ /^orarr$/798 $HT2CHR($base(21BB, 16, 10)) @ /^circlearrowright$/799 $HT2CHR($base(21BB, 16, 10)) @ /^lharu$/800 $HT2CHR($base(21BC, 16, 10)) @ /^LeftVector$/801 $HT2CHR($base(21BC, 16, 10)) @ /^leftharpoonup$/802 $HT2CHR($base(21BC, 16, 10)) @ /^lhard$/803 $HT2CHR($base(21BD, 16, 10)) @ /^leftharpoondown$/804 $HT2CHR($base(21BD, 16, 10)) @ /^DownLeftVector$/805 $HT2CHR($base(21BD, 16, 10)) @ /^uharr$/806 $HT2CHR($base(21BE, 16, 10)) @ /^upharpoonright$/807 $HT2CHR($base(21BE, 16, 10)) @ /^RightUpVector$/808 $HT2CHR($base(21BE, 16, 10)) @ /^uharl$/809 $HT2CHR($base(21BF, 16, 10)) @ /^upharpoonleft$/810 $HT2CHR($base(21BF, 16, 10)) @ /^LeftUpVector$/811 $HT2CHR($base(21BF, 16, 10)) @ /^rharu$/812 $HT2CHR($base(21C0, 16, 10)) @ /^RightVector$/813 $HT2CHR($base(21C0, 16, 10)) @ /^rightharpoonup$/814 $HT2CHR($base(21C0, 16, 10)) @ /^rhard$/815 $HT2CHR($base(21C1, 16, 10)) @ /^rightharpoondown$/816 $HT2CHR($base(21C1, 16, 10)) @ /^DownRightVector$/817 $HT2CHR($base(21C1, 16, 10)) @ /^dharr$/818 $HT2CHR($base(21C2, 16, 10)) @ /^RightDownVector$/819 $HT2CHR($base(21C2, 16, 10)) @ /^downharpoonright$/820 $HT2CHR($base(21C2, 16, 10)) @ /^dharl$/821 $HT2CHR($base(21C3, 16, 10)) @ /^LeftDownVector$/822 $HT2CHR($base(21C3, 16, 10)) @ /^downharpoonleft$/823 $HT2CHR($base(21C3, 16, 10)) @ /^rlarr$/824 $HT2CHR($base(21C4, 16, 10)) @ /^rightleftarrows$/825 $HT2CHR($base(21C4, 16, 10)) @ /^RightArrowLeftArrow$/826 $HT2CHR($base(21C4, 16, 10)) @ /^udarr$/827 $HT2CHR($base(21C5, 16, 10)) @ /^UpArrowDownArrow$/828 $HT2CHR($base(21C5, 16, 10)) @ /^lrarr$/829 $HT2CHR($base(21C6, 16, 10)) @ /^leftrightarrows$/830 $HT2CHR($base(21C6, 16, 10)) @ /^LeftArrowRightArrow$/831 $HT2CHR($base(21C6, 16, 10)) @ /^llarr$/832 $HT2CHR($base(21C7, 16, 10)) @ /^leftleftarrows$/833 $HT2CHR($base(21C7, 16, 10)) @ /^uuarr$/834 $HT2CHR($base(21C8, 16, 10)) @ /^upuparrows$/835 $HT2CHR($base(21C8, 16, 10)) @ /^rrarr$/836 $HT2CHR($base(21C9, 16, 10)) @ /^rightrightarrows$/837 $HT2CHR($base(21C9, 16, 10)) @ /^ddarr$/838 $HT2CHR($base(21CA, 16, 10)) @ /^downdownarrows$/839 $HT2CHR($base(21CA, 16, 10)) @ /^lrhar$/840 $HT2CHR($base(21CB, 16, 10)) @ /^ReverseEquilibrium$/841 $HT2CHR($base(21CB, 16, 10)) @ /^leftrightharpoons$/842 $HT2CHR($base(21CB, 16, 10)) @ /^rlhar$/843 $HT2CHR($base(21CC, 16, 10)) @ /^rightleftharpoons$/844 $HT2CHR($base(21CC, 16, 10)) @ /^Equilibrium$/845 $HT2CHR($base(21CC, 16, 10)) @ /^nlArr$/846 $HT2CHR($base(21CD, 16, 10)) @ /^nLeftarrow$/847 $HT2CHR($base(21CD, 16, 10)) @ /^nhArr$/848 $HT2CHR($base(21CE, 16, 10)) @ /^nLeftrightarrow$/849 $HT2CHR($base(21CE, 16, 10)) @ /^nrArr$/850 $HT2CHR($base(21CF, 16, 10)) @ /^nRightarrow$/851 $HT2CHR($base(21CF, 16, 10)) @ /^lArr$/852 $HT2CHR($base(21D0, 16, 10)) @ /^Leftarrow$/853 $HT2CHR($base(21D0, 16, 10)) @ /^DoubleLeftArrow$/854 $HT2CHR($base(21D0, 16, 10)) @ /^uArr$/855 $HT2CHR($base(21D1, 16, 10)) @ /^Uparrow$/856 $HT2CHR($base(21D1, 16, 10)) @ /^DoubleUpArrow$/857 $HT2CHR($base(21D1, 16, 10)) @ /^rArr$/858 $HT2CHR($base(21D2, 16, 10)) @ /^Rightarrow$/859 $HT2CHR($base(21D2, 16, 10)) @ /^Implies$/860 $HT2CHR($base(21D2, 16, 10)) @ /^DoubleRightArrow$/861 $HT2CHR($base(21D2, 16, 10)) @ /^dArr$/862 $HT2CHR($base(21D3, 16, 10)) @ /^Downarrow$/863 $HT2CHR($base(21D3, 16, 10)) @ /^DoubleDownArrow$/864 $HT2CHR($base(21D3, 16, 10)) @ /^hArr$/865 $HT2CHR($base(21D4, 16, 10)) @ /^Leftrightarrow$/866 $HT2CHR($base(21D4, 16, 10)) @ /^DoubleLeftRightArrow$/867 $HT2CHR($base(21D4, 16, 10)) @ /^iff$/868 $HT2CHR($base(21D4, 16, 10)) @ /^vArr$/869 $HT2CHR($base(21D5, 16, 10)) @ /^Updownarrow$/870 $HT2CHR($base(21D5, 16, 10)) @ /^DoubleUpDownArrow$/871 $HT2CHR($base(21D5, 16, 10)) @ /^nwArr$/872 $HT2CHR($base(21D6, 16, 10)) @ /^neArr$/873 $HT2CHR($base(21D7, 16, 10)) @ /^seArr$/874 $HT2CHR($base(21D8, 16, 10)) @ /^swArr$/875 $HT2CHR($base(21D9, 16, 10)) @ /^lAarr$/876 $HT2CHR($base(21DA, 16, 10)) @ /^Lleftarrow$/877 $HT2CHR($base(21DA, 16, 10)) @ /^rAarr$/878 $HT2CHR($base(21DB, 16, 10)) @ /^Rrightarrow$/879 $HT2CHR($base(21DB, 16, 10)) @ /^zigrarr$/880 $HT2CHR($base(21DD, 16, 10)) @ /^larrb$/881 $HT2CHR($base(21E4, 16, 10)) @ /^LeftArrowBar$/882 $HT2CHR($base(21E4, 16, 10)) @ /^rarrb$/883 $HT2CHR($base(21E5, 16, 10)) @ /^RightArrowBar$/884 $HT2CHR($base(21E5, 16, 10)) @ /^duarr$/885 $HT2CHR($base(21F5, 16, 10)) @ /^DownArrowUpArrow$/886 $HT2CHR($base(21F5, 16, 10)) @ /^loarr$/887 $HT2CHR($base(21FD, 16, 10)) @ /^roarr$/888 $HT2CHR($base(21FE, 16, 10)) @ /^hoarr$/889 $HT2CHR($base(21FF, 16, 10)) @ /^forall$/890 $HT2CHR($base(2200, 16, 10)) @
  117.     dotokadd /^ForAll$/891 $HT2CHR($base(2200, 16, 10)) @ /^comp$/892 $HT2CHR($base(2201, 16, 10)) @ /^complement$/893 $HT2CHR($base(2201, 16, 10)) @ /^part$/894 $HT2CHR($base(2202, 16, 10)) @ /^PartialD$/895 $HT2CHR($base(2202, 16, 10)) @ /^npart$/896 $HT2CHR($base(2202, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^exist$/897 $HT2CHR($base(2203, 16, 10)) @ /^Exists$/898 $HT2CHR($base(2203, 16, 10)) @ /^nexist$/899 $HT2CHR($base(2204, 16, 10)) @ /^NotExists$/900 $HT2CHR($base(2204, 16, 10)) @ /^nexists$/901 $HT2CHR($base(2204, 16, 10)) @ /^empty$/902 $HT2CHR($base(2205, 16, 10)) @ /^emptyset$/903 $HT2CHR($base(2205, 16, 10)) @ /^emptyv$/904 $HT2CHR($base(2205, 16, 10)) @ /^varnothing$/905 $HT2CHR($base(2205, 16, 10)) @ /^nabla$/906 $HT2CHR($base(2207, 16, 10)) @ /^Del$/907 $HT2CHR($base(2207, 16, 10)) @ /^isin$/908 $HT2CHR($base(2208, 16, 10)) @ /^isinv$/909 $HT2CHR($base(2208, 16, 10)) @ /^Element$/910 $HT2CHR($base(2208, 16, 10)) @ /^in$/911 $HT2CHR($base(2208, 16, 10)) @ /^notin$/912 $HT2CHR($base(2209, 16, 10)) @ /^NotElement$/913 $HT2CHR($base(2209, 16, 10)) @ /^notinva$/914 $HT2CHR($base(2209, 16, 10)) @ /^niv$/915 $HT2CHR($base(220B, 16, 10)) @ /^ReverseElement$/916 $HT2CHR($base(220B, 16, 10)) @ /^ni$/917 $HT2CHR($base(220B, 16, 10)) @ /^SuchThat$/918 $HT2CHR($base(220B, 16, 10)) @ /^notni$/919 $HT2CHR($base(220C, 16, 10)) @ /^notniva$/920 $HT2CHR($base(220C, 16, 10)) @ /^NotReverseElement$/921 $HT2CHR($base(220C, 16, 10)) @ /^prod$/922 $HT2CHR($base(220F, 16, 10)) @ /^Product$/923 $HT2CHR($base(220F, 16, 10)) @ /^coprod$/924 $HT2CHR($base(2210, 16, 10)) @ /^Coproduct$/925 $HT2CHR($base(2210, 16, 10)) @ /^sum$/926 $HT2CHR($base(2211, 16, 10)) @ /^Sum$/927 $HT2CHR($base(2211, 16, 10)) @ /^minus$/928 $HT2CHR($base(2212, 16, 10)) @ /^mnplus$/929 $HT2CHR($base(2213, 16, 10)) @ /^mp$/930 $HT2CHR($base(2213, 16, 10)) @ /^MinusPlus$/931 $HT2CHR($base(2213, 16, 10)) @ /^plusdo$/932 $HT2CHR($base(2214, 16, 10)) @ /^dotplus$/933 $HT2CHR($base(2214, 16, 10)) @ /^setmn$/934 $HT2CHR($base(2216, 16, 10)) @ /^setminus$/935 $HT2CHR($base(2216, 16, 10)) @ /^Backslash$/936 $HT2CHR($base(2216, 16, 10)) @ /^ssetmn$/937 $HT2CHR($base(2216, 16, 10)) @ /^smallsetminus$/938 $HT2CHR($base(2216, 16, 10)) @ /^lowast$/939 $HT2CHR($base(2217, 16, 10)) @ /^compfn$/940 $HT2CHR($base(2218, 16, 10)) @ /^SmallCircle$/941 $HT2CHR($base(2218, 16, 10)) @ /^radic$/942 $HT2CHR($base(221A, 16, 10)) @ /^Sqrt$/943 $HT2CHR($base(221A, 16, 10)) @ /^prop$/944 $HT2CHR($base(221D, 16, 10)) @ /^propto$/945 $HT2CHR($base(221D, 16, 10)) @ /^Proportional$/946 $HT2CHR($base(221D, 16, 10)) @ /^vprop$/947 $HT2CHR($base(221D, 16, 10)) @ /^varpropto$/948 $HT2CHR($base(221D, 16, 10)) @ /^infin$/949 $HT2CHR($base(221E, 16, 10)) @ /^angrt$/950 $HT2CHR($base(221F, 16, 10)) @ /^ang$/951 $HT2CHR($base(2220, 16, 10)) @ /^angle$/952 $HT2CHR($base(2220, 16, 10)) @ /^nang$/953 $HT2CHR($base(2220, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^angmsd$/954 $HT2CHR($base(2221, 16, 10)) @ /^measuredangle$/955 $HT2CHR($base(2221, 16, 10)) @ /^angsph$/956 $HT2CHR($base(2222, 16, 10)) @ /^mid$/957 $HT2CHR($base(2223, 16, 10)) @ /^VerticalBar$/958 $HT2CHR($base(2223, 16, 10)) @ /^smid$/959 $HT2CHR($base(2223, 16, 10)) @ /^shortmid$/960 $HT2CHR($base(2223, 16, 10)) @ /^nmid$/961 $HT2CHR($base(2224, 16, 10)) @ /^NotVerticalBar$/962 $HT2CHR($base(2224, 16, 10)) @ /^nsmid$/963 $HT2CHR($base(2224, 16, 10)) @ /^nshortmid$/964 $HT2CHR($base(2224, 16, 10)) @ /^par$/965 $HT2CHR($base(2225, 16, 10)) @ /^parallel$/966 $HT2CHR($base(2225, 16, 10)) @ /^DoubleVerticalBar$/967 $HT2CHR($base(2225, 16, 10)) @ /^spar$/968 $HT2CHR($base(2225, 16, 10)) @ /^shortparallel$/969 $HT2CHR($base(2225, 16, 10)) @ /^npar$/970 $HT2CHR($base(2226, 16, 10)) @ /^nparallel$/971 $HT2CHR($base(2226, 16, 10)) @ /^NotDoubleVerticalBar$/972 $HT2CHR($base(2226, 16, 10)) @ /^nspar$/973 $HT2CHR($base(2226, 16, 10)) @ /^nshortparallel$/974 $HT2CHR($base(2226, 16, 10)) @ /^and$/975 $HT2CHR($base(2227, 16, 10)) @ /^wedge$/976 $HT2CHR($base(2227, 16, 10)) @ /^or$/977 $HT2CHR($base(2228, 16, 10)) @ /^vee$/978 $HT2CHR($base(2228, 16, 10)) @ /^cap$/979 $HT2CHR($base(2229, 16, 10)) @ /^caps$/980 $HT2CHR($base(2229, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^cup$/981 $HT2CHR($base(222A, 16, 10)) @ /^cups$/982 $HT2CHR($base(222A, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^int$/983 $HT2CHR($base(222B, 16, 10)) @ /^Integral$/984 $HT2CHR($base(222B, 16, 10)) @ /^Int$/985 $HT2CHR($base(222C, 16, 10)) @ /^tint$/986 $HT2CHR($base(222D, 16, 10)) @ /^iiint$/987 $HT2CHR($base(222D, 16, 10)) @ /^conint$/988 $HT2CHR($base(222E, 16, 10)) @ /^oint$/989 $HT2CHR($base(222E, 16, 10)) @ /^ContourIntegral$/990 $HT2CHR($base(222E, 16, 10)) @ /^Conint$/991 $HT2CHR($base(222F, 16, 10)) @ /^DoubleContourIntegral$/992 $HT2CHR($base(222F, 16, 10)) @ /^Cconint$/993 $HT2CHR($base(2230, 16, 10)) @ /^cwint$/994 $HT2CHR($base(2231, 16, 10)) @ /^cwconint$/995 $HT2CHR($base(2232, 16, 10)) @ /^ClockwiseContourIntegral$/996 $HT2CHR($base(2232, 16, 10)) @ /^awconint$/997 $HT2CHR($base(2233, 16, 10)) @ /^CounterClockwiseContourIntegral$/998 $HT2CHR($base(2233, 16, 10)) @ /^there4$/999 $HT2CHR($base(2234, 16, 10)) @ /^therefore$/1000 $HT2CHR($base(2234, 16, 10)) @ /^Therefore$/1001 $HT2CHR($base(2234, 16, 10)) @ /^becaus$/1002 $HT2CHR($base(2235, 16, 10)) @ /^because$/1003 $HT2CHR($base(2235, 16, 10)) @ /^Because$/1004 $HT2CHR($base(2235, 16, 10)) @ /^ratio$/1005 $HT2CHR($base(2236, 16, 10)) @ /^Colon$/1006 $HT2CHR($base(2237, 16, 10)) @ /^Proportion$/1007 $HT2CHR($base(2237, 16, 10)) @ /^minusd$/1008 $HT2CHR($base(2238, 16, 10)) @ /^dotminus$/1009 $HT2CHR($base(2238, 16, 10)) @ /^mDDot$/1010 $HT2CHR($base(223A, 16, 10)) @ /^homtht$/1011 $HT2CHR($base(223B, 16, 10)) @ /^sim$/1012 $HT2CHR($base(223C, 16, 10)) @ /^Tilde$/1013 $HT2CHR($base(223C, 16, 10)) @ /^thksim$/1014 $HT2CHR($base(223C, 16, 10)) @ /^thicksim$/1015 $HT2CHR($base(223C, 16, 10)) @ /^nvsim$/1016 $HT2CHR($base(223C, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @
  118.     dotokadd /^bsim$/1017 $HT2CHR($base(223D, 16, 10)) @ /^backsim$/1018 $HT2CHR($base(223D, 16, 10)) @ /^race$/1019 $HT2CHR($base(223D, 16, 10)) $+ $HT2CHR($base(0331, 16, 10)) @ /^ac$/1020 $HT2CHR($base(223E, 16, 10)) @ /^mstpos$/1021 $HT2CHR($base(223E, 16, 10)) @ /^acE$/1022 $HT2CHR($base(223E, 16, 10)) $+ $HT2CHR($base(0333, 16, 10)) @ /^acd$/1023 $HT2CHR($base(223F, 16, 10)) @ /^wreath$/1024 $HT2CHR($base(2240, 16, 10)) @ /^VerticalTilde$/1025 $HT2CHR($base(2240, 16, 10)) @ /^wr$/1026 $HT2CHR($base(2240, 16, 10)) @ /^nsim$/1027 $HT2CHR($base(2241, 16, 10)) @ /^NotTilde$/1028 $HT2CHR($base(2241, 16, 10)) @ /^esim$/1029 $HT2CHR($base(2242, 16, 10)) @ /^EqualTilde$/1030 $HT2CHR($base(2242, 16, 10)) @ /^eqsim$/1031 $HT2CHR($base(2242, 16, 10)) @ /^NotEqualTilde$/1032 $HT2CHR($base(2242, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nesim$/1033 $HT2CHR($base(2242, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^sime$/1034 $HT2CHR($base(2243, 16, 10)) @ /^TildeEqual$/1035 $HT2CHR($base(2243, 16, 10)) @ /^simeq$/1036 $HT2CHR($base(2243, 16, 10)) @ /^nsime$/1037 $HT2CHR($base(2244, 16, 10)) @ /^nsimeq$/1038 $HT2CHR($base(2244, 16, 10)) @ /^NotTildeEqual$/1039 $HT2CHR($base(2244, 16, 10)) @ /^cong$/1040 $HT2CHR($base(2245, 16, 10)) @ /^TildeFullEqual$/1041 $HT2CHR($base(2245, 16, 10)) @ /^simne$/1042 $HT2CHR($base(2246, 16, 10)) @ /^ncong$/1043 $HT2CHR($base(2247, 16, 10)) @ /^NotTildeFullEqual$/1044 $HT2CHR($base(2247, 16, 10)) @ /^asymp$/1045 $HT2CHR($base(2248, 16, 10)) @ /^ap$/1046 $HT2CHR($base(2248, 16, 10)) @ /^TildeTilde$/1047 $HT2CHR($base(2248, 16, 10)) @ /^approx$/1048 $HT2CHR($base(2248, 16, 10)) @ /^thkap$/1049 $HT2CHR($base(2248, 16, 10)) @ /^thickapprox$/1050 $HT2CHR($base(2248, 16, 10)) @ /^nap$/1051 $HT2CHR($base(2249, 16, 10)) @ /^NotTildeTilde$/1052 $HT2CHR($base(2249, 16, 10)) @ /^napprox$/1053 $HT2CHR($base(2249, 16, 10)) @ /^ape$/1054 $HT2CHR($base(224A, 16, 10)) @ /^approxeq$/1055 $HT2CHR($base(224A, 16, 10)) @ /^apid$/1056 $HT2CHR($base(224B, 16, 10)) @ /^napid$/1057 $HT2CHR($base(224B, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^bcong$/1058 $HT2CHR($base(224C, 16, 10)) @ /^backcong$/1059 $HT2CHR($base(224C, 16, 10)) @ /^asympeq$/1060 $HT2CHR($base(224D, 16, 10)) @ /^CupCap$/1061 $HT2CHR($base(224D, 16, 10)) @ /^nvap$/1062 $HT2CHR($base(224D, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^bump$/1063 $HT2CHR($base(224E, 16, 10)) @ /^HumpDownHump$/1064 $HT2CHR($base(224E, 16, 10)) @ /^Bumpeq$/1065 $HT2CHR($base(224E, 16, 10)) @ /^NotHumpDownHump$/1066 $HT2CHR($base(224E, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nbump$/1067 $HT2CHR($base(224E, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^bumpe$/1068 $HT2CHR($base(224F, 16, 10)) @ /^HumpEqual$/1069 $HT2CHR($base(224F, 16, 10)) @ /^bumpeq$/1070 $HT2CHR($base(224F, 16, 10)) @ /^nbumpe$/1071 $HT2CHR($base(224F, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotHumpEqual$/1072 $HT2CHR($base(224F, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^esdot$/1073 $HT2CHR($base(2250, 16, 10)) @ /^DotEqual$/1074 $HT2CHR($base(2250, 16, 10)) @ /^doteq$/1075 $HT2CHR($base(2250, 16, 10)) @ /^nedot$/1076 $HT2CHR($base(2250, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^eDot$/1077 $HT2CHR($base(2251, 16, 10)) @ /^doteqdot$/1078 $HT2CHR($base(2251, 16, 10)) @ /^efDot$/1079 $HT2CHR($base(2252, 16, 10)) @ /^fallingdotseq$/1080 $HT2CHR($base(2252, 16, 10)) @ /^erDot$/1081 $HT2CHR($base(2253, 16, 10)) @ /^risingdotseq$/1082 $HT2CHR($base(2253, 16, 10)) @ /^colone$/1083 $HT2CHR($base(2254, 16, 10)) @ /^coloneq$/1084 $HT2CHR($base(2254, 16, 10)) @ /^Assign$/1085 $HT2CHR($base(2254, 16, 10)) @ /^ecolon$/1086 $HT2CHR($base(2255, 16, 10)) @ /^eqcolon$/1087 $HT2CHR($base(2255, 16, 10)) @ /^ecir$/1088 $HT2CHR($base(2256, 16, 10)) @ /^eqcirc$/1089 $HT2CHR($base(2256, 16, 10)) @ /^cire$/1090 $HT2CHR($base(2257, 16, 10)) @ /^circeq$/1091 $HT2CHR($base(2257, 16, 10)) @ /^wedgeq$/1092 $HT2CHR($base(2259, 16, 10)) @ /^veeeq$/1093 $HT2CHR($base(225A, 16, 10)) @ /^trie$/1094 $HT2CHR($base(225C, 16, 10)) @ /^triangleq$/1095 $HT2CHR($base(225C, 16, 10)) @ /^equest$/1096 $HT2CHR($base(225F, 16, 10)) @ /^questeq$/1097 $HT2CHR($base(225F, 16, 10)) @ /^ne$/1098 $HT2CHR($base(2260, 16, 10)) @ /^NotEqual$/1099 $HT2CHR($base(2260, 16, 10)) @ /^equiv$/1100 $HT2CHR($base(2261, 16, 10)) @ /^Congruent$/1101 $HT2CHR($base(2261, 16, 10)) @ /^bnequiv$/1102 $HT2CHR($base(2261, 16, 10)) $+ $HT2CHR($base(20E5, 16, 10)) @ /^nequiv$/1103 $HT2CHR($base(2262, 16, 10)) @ /^NotCongruent$/1104 $HT2CHR($base(2262, 16, 10)) @ /^le$/1105 $HT2CHR($base(2264, 16, 10)) @ /^leq$/1106 $HT2CHR($base(2264, 16, 10)) @ /^nvle$/1107 $HT2CHR($base(2264, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^ge$/1108 $HT2CHR($base(2265, 16, 10)) @ /^GreaterEqual$/1109 $HT2CHR($base(2265, 16, 10)) @ /^geq$/1110 $HT2CHR($base(2265, 16, 10)) @ /^nvge$/1111 $HT2CHR($base(2265, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^lE$/1112 $HT2CHR($base(2266, 16, 10)) @ /^LessFullEqual$/1113 $HT2CHR($base(2266, 16, 10)) @ /^leqq$/1114 $HT2CHR($base(2266, 16, 10)) @ /^nlE$/1115 $HT2CHR($base(2266, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nleqq$/1116 $HT2CHR($base(2266, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^gE$/1117 $HT2CHR($base(2267, 16, 10)) @ /^GreaterFullEqual$/1118 $HT2CHR($base(2267, 16, 10)) @ /^geqq$/1119 $HT2CHR($base(2267, 16, 10)) @ /^ngE$/1120 $HT2CHR($base(2267, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^ngeqq$/1121 $HT2CHR($base(2267, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotGreaterFullEqual$/1122 $HT2CHR($base(2267, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^lnE$/1123 $HT2CHR($base(2268, 16, 10)) @ /^lneqq$/1124 $HT2CHR($base(2268, 16, 10)) @ /^lvnE$/1125 $HT2CHR($base(2268, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^lvertneqq$/1126 $HT2CHR($base(2268, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^gnE$/1127 $HT2CHR($base(2269, 16, 10)) @ /^gneqq$/1128 $HT2CHR($base(2269, 16, 10)) @ /^gvnE$/1129 $HT2CHR($base(2269, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^gvertneqq$/1130 $HT2CHR($base(2269, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^Lt$/1131 $HT2CHR($base(226A, 16, 10)) @ /^NestedLessLess$/1132 $HT2CHR($base(226A, 16, 10)) @ /^ll$/1133 $HT2CHR($base(226A, 16, 10)) @ /^nLtv$/1134 $HT2CHR($base(226A, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotLessLess$/1135 $HT2CHR($base(226A, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nLt$/1136 $HT2CHR($base(226A, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^Gt$/1137 $HT2CHR($base(226B, 16, 10)) @ /^NestedGreaterGreater$/1138 $HT2CHR($base(226B, 16, 10)) @ /^gg$/1139 $HT2CHR($base(226B, 16, 10)) @ /^nGtv$/1140 $HT2CHR($base(226B, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotGreaterGreater$/1141 $HT2CHR($base(226B, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nGt$/1142 $HT2CHR($base(226B, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^twixt$/1143 $HT2CHR($base(226C, 16, 10)) @ /^between$/1144 $HT2CHR($base(226C, 16, 10)) @ /^NotCupCap$/1145 $HT2CHR($base(226D, 16, 10)) @ /^nlt$/1146 $HT2CHR($base(226E, 16, 10)) @ /^NotLess$/1147 $HT2CHR($base(226E, 16, 10)) @ /^nless$/1148 $HT2CHR($base(226E, 16, 10)) @ /^ngt$/1149 $HT2CHR($base(226F, 16, 10)) @ /^NotGreater$/1150 $HT2CHR($base(226F, 16, 10)) @ /^ngtr$/1151 $HT2CHR($base(226F, 16, 10)) @ /^nle$/1152 $HT2CHR($base(2270, 16, 10)) @ /^NotLessEqual$/1153 $HT2CHR($base(2270, 16, 10)) @ /^nleq$/1154 $HT2CHR($base(2270, 16, 10)) @ /^nge$/1155 $HT2CHR($base(2271, 16, 10)) @ /^NotGreaterEqual$/1156 $HT2CHR($base(2271, 16, 10)) @ /^ngeq$/1157 $HT2CHR($base(2271, 16, 10)) @ /^lsim$/1158 $HT2CHR($base(2272, 16, 10)) @ /^LessTilde$/1159 $HT2CHR($base(2272, 16, 10)) @ /^lesssim$/1160 $HT2CHR($base(2272, 16, 10)) @ /^gsim$/1161 $HT2CHR($base(2273, 16, 10)) @ /^gtrsim$/1162 $HT2CHR($base(2273, 16, 10)) @ /^GreaterTilde$/1163 $HT2CHR($base(2273, 16, 10)) @ /^nlsim$/1164 $HT2CHR($base(2274, 16, 10)) @ /^NotLessTilde$/1165 $HT2CHR($base(2274, 16, 10)) @ /^ngsim$/1166 $HT2CHR($base(2275, 16, 10)) @ /^NotGreaterTilde$/1167 $HT2CHR($base(2275, 16, 10)) @ /^lg$/1168 $HT2CHR($base(2276, 16, 10)) @ /^lessgtr$/1169 $HT2CHR($base(2276, 16, 10)) @ /^LessGreater$/1170 $HT2CHR($base(2276, 16, 10)) @ /^gl$/1171 $HT2CHR($base(2277, 16, 10)) @ /^gtrless$/1172 $HT2CHR($base(2277, 16, 10)) @ /^GreaterLess$/1173 $HT2CHR($base(2277, 16, 10)) @ /^ntlg$/1174 $HT2CHR($base(2278, 16, 10)) @ /^NotLessGreater$/1175 $HT2CHR($base(2278, 16, 10)) @ /^ntgl$/1176 $HT2CHR($base(2279, 16, 10)) @ /^NotGreaterLess$/1177 $HT2CHR($base(2279, 16, 10)) @ /^pr$/1178 $HT2CHR($base(227A, 16, 10)) @ /^Precedes$/1179 $HT2CHR($base(227A, 16, 10)) @ /^prec$/1180 $HT2CHR($base(227A, 16, 10)) @ /^sc$/1181 $HT2CHR($base(227B, 16, 10)) @ /^Succeeds$/1182 $HT2CHR($base(227B, 16, 10)) @ /^succ$/1183 $HT2CHR($base(227B, 16, 10)) @ /^prcue$/1184 $HT2CHR($base(227C, 16, 10)) @ /^PrecedesSlantEqual$/1185 $HT2CHR($base(227C, 16, 10)) @ /^preccurlyeq$/1186 $HT2CHR($base(227C, 16, 10)) @ /^sccue$/1187 $HT2CHR($base(227D, 16, 10)) @ /^SucceedsSlantEqual$/1188 $HT2CHR($base(227D, 16, 10)) @ /^succcurlyeq$/1189 $HT2CHR($base(227D, 16, 10)) @ /^prsim$/1190 $HT2CHR($base(227E, 16, 10)) @ /^precsim$/1191 $HT2CHR($base(227E, 16, 10)) @ /^PrecedesTilde$/1192 $HT2CHR($base(227E, 16, 10)) @ /^scsim$/1193 $HT2CHR($base(227F, 16, 10)) @ /^succsim$/1194 $HT2CHR($base(227F, 16, 10)) @ /^SucceedsTilde$/1195 $HT2CHR($base(227F, 16, 10)) @ /^NotSucceedsTilde$/1196 $HT2CHR($base(227F, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^npr$/1197 $HT2CHR($base(2280, 16, 10)) @ /^nprec$/1198 $HT2CHR($base(2280, 16, 10))
  119.     dotokadd /^NotPrecedes$/1199 $HT2CHR($base(2280, 16, 10)) @ /^nsc$/1200 $HT2CHR($base(2281, 16, 10)) @ /^nsucc$/1201 $HT2CHR($base(2281, 16, 10)) @ /^NotSucceeds$/1202 $HT2CHR($base(2281, 16, 10)) @ /^sub$/1203 $HT2CHR($base(2282, 16, 10)) @ /^subset$/1204 $HT2CHR($base(2282, 16, 10)) @ /^vnsub$/1205 $HT2CHR($base(2282, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^nsubset$/1206 $HT2CHR($base(2282, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^NotSubset$/1207 $HT2CHR($base(2282, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^sup$/1208 $HT2CHR($base(2283, 16, 10)) @ /^supset$/1209 $HT2CHR($base(2283, 16, 10)) @ /^Superset$/1210 $HT2CHR($base(2283, 16, 10)) @ /^vnsup$/1211 $HT2CHR($base(2283, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^nsupset$/1212 $HT2CHR($base(2283, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^NotSuperset$/1213 $HT2CHR($base(2283, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^nsub$/1214 $HT2CHR($base(2284, 16, 10)) @ /^nsup$/1215 $HT2CHR($base(2285, 16, 10)) @ /^sube$/1216 $HT2CHR($base(2286, 16, 10)) @ /^SubsetEqual$/1217 $HT2CHR($base(2286, 16, 10)) @ /^subseteq$/1218 $HT2CHR($base(2286, 16, 10)) @ /^supe$/1219 $HT2CHR($base(2287, 16, 10)) @ /^supseteq$/1220 $HT2CHR($base(2287, 16, 10)) @ /^SupersetEqual$/1221 $HT2CHR($base(2287, 16, 10)) @ /^nsube$/1222 $HT2CHR($base(2288, 16, 10)) @ /^nsubseteq$/1223 $HT2CHR($base(2288, 16, 10)) @ /^NotSubsetEqual$/1224 $HT2CHR($base(2288, 16, 10)) @ /^nsupe$/1225 $HT2CHR($base(2289, 16, 10)) @ /^nsupseteq$/1226 $HT2CHR($base(2289, 16, 10)) @ /^NotSupersetEqual$/1227 $HT2CHR($base(2289, 16, 10)) @ /^subne$/1228 $HT2CHR($base(228A, 16, 10)) @ /^subsetneq$/1229 $HT2CHR($base(228A, 16, 10)) @ /^vsubne$/1230 $HT2CHR($base(228A, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^varsubsetneq$/1231 $HT2CHR($base(228A, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^supne$/1232 $HT2CHR($base(228B, 16, 10)) @ /^supsetneq$/1233 $HT2CHR($base(228B, 16, 10)) @ /^vsupne$/1234 $HT2CHR($base(228B, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^varsupsetneq$/1235 $HT2CHR($base(228B, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^cupdot$/1236 $HT2CHR($base(228D, 16, 10)) @ /^uplus$/1237 $HT2CHR($base(228E, 16, 10)) @ /^UnionPlus$/1238 $HT2CHR($base(228E, 16, 10)) @ /^sqsub$/1239 $HT2CHR($base(228F, 16, 10)) @ /^SquareSubset$/1240 $HT2CHR($base(228F, 16, 10)) @ /^sqsubset$/1241 $HT2CHR($base(228F, 16, 10)) @ /^NotSquareSubset$/1242 $HT2CHR($base(228F, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^sqsup$/1243 $HT2CHR($base(2290, 16, 10)) @ /^SquareSuperset$/1244 $HT2CHR($base(2290, 16, 10)) @ /^sqsupset$/1245 $HT2CHR($base(2290, 16, 10)) @ /^NotSquareSuperset$/1246 $HT2CHR($base(2290, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^sqsube$/1247 $HT2CHR($base(2291, 16, 10)) @ /^SquareSubsetEqual$/1248 $HT2CHR($base(2291, 16, 10)) @ /^sqsubseteq$/1249 $HT2CHR($base(2291, 16, 10)) @ /^sqsupe$/1250 $HT2CHR($base(2292, 16, 10)) @ /^SquareSupersetEqual$/1251 $HT2CHR($base(2292, 16, 10)) @ /^sqsupseteq$/1252 $HT2CHR($base(2292, 16, 10)) @ /^sqcap$/1253 $HT2CHR($base(2293, 16, 10)) @ /^SquareIntersection$/1254 $HT2CHR($base(2293, 16, 10)) @ /^sqcaps$/1255 $HT2CHR($base(2293, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^sqcup$/1256 $HT2CHR($base(2294, 16, 10)) @ /^SquareUnion$/1257 $HT2CHR($base(2294, 16, 10)) @ /^sqcups$/1258 $HT2CHR($base(2294, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^oplus$/1259 $HT2CHR($base(2295, 16, 10)) @ /^CirclePlus$/1260 $HT2CHR($base(2295, 16, 10)) @ /^ominus$/1261 $HT2CHR($base(2296, 16, 10)) @ /^CircleMinus$/1262 $HT2CHR($base(2296, 16, 10)) @ /^otimes$/1263 $HT2CHR($base(2297, 16, 10)) @ /^CircleTimes$/1264 $HT2CHR($base(2297, 16, 10)) @ /^osol$/1265 $HT2CHR($base(2298, 16, 10)) @ /^odot$/1266 $HT2CHR($base(2299, 16, 10)) @ /^CircleDot$/1267 $HT2CHR($base(2299, 16, 10)) @ /^ocir$/1268 $HT2CHR($base(229A, 16, 10)) @ /^circledcirc$/1269 $HT2CHR($base(229A, 16, 10)) @ /^oast$/1270 $HT2CHR($base(229B, 16, 10)) @ /^circledast$/1271 $HT2CHR($base(229B, 16, 10)) @ /^odash$/1272 $HT2CHR($base(229D, 16, 10)) @ /^circleddash$/1273 $HT2CHR($base(229D, 16, 10)) @ /^plusb$/1274 $HT2CHR($base(229E, 16, 10)) @ /^boxplus$/1275 $HT2CHR($base(229E, 16, 10)) @ /^minusb$/1276 $HT2CHR($base(229F, 16, 10)) @ /^boxminus$/1277 $HT2CHR($base(229F, 16, 10)) @ /^timesb$/1278 $HT2CHR($base(22A0, 16, 10)) @ /^boxtimes$/1279 $HT2CHR($base(22A0, 16, 10)) @ /^sdotb$/1280 $HT2CHR($base(22A1, 16, 10)) @ /^dotsquare$/1281 $HT2CHR($base(22A1, 16, 10)) @ /^vdash$/1282 $HT2CHR($base(22A2, 16, 10)) @ /^RightTee$/1283 $HT2CHR($base(22A2, 16, 10)) @ /^dashv$/1284 $HT2CHR($base(22A3, 16, 10)) @ /^LeftTee$/1285 $HT2CHR($base(22A3, 16, 10)) @ /^top$/1286 $HT2CHR($base(22A4, 16, 10)) @ /^DownTee$/1287 $HT2CHR($base(22A4, 16, 10)) @ /^bottom$/1288 $HT2CHR($base(22A5, 16, 10)) @ /^bot$/1289 $HT2CHR($base(22A5, 16, 10)) @ /^perp$/1290 $HT2CHR($base(22A5, 16, 10)) @ /^UpTee$/1291 $HT2CHR($base(22A5, 16, 10)) @ /^models$/1292 $HT2CHR($base(22A7, 16, 10)) @ /^vDash$/1293 $HT2CHR($base(22A8, 16, 10)) @ /^DoubleRightTee$/1294 $HT2CHR($base(22A8, 16, 10)) @ /^Vdash$/1295 $HT2CHR($base(22A9, 16, 10)) @ /^Vvdash$/1296 $HT2CHR($base(22AA, 16, 10)) @ /^VDash$/1297 $HT2CHR($base(22AB, 16, 10)) @ /^nvdash$/1298 $HT2CHR($base(22AC, 16, 10)) @ /^nvDash$/1299 $HT2CHR($base(22AD, 16, 10)) @ /^nVdash$/1300 $HT2CHR($base(22AE, 16, 10)) @ /^nVDash$/1301 $HT2CHR($base(22AF, 16, 10)) @ /^prurel$/1302 $HT2CHR($base(22B0, 16, 10)) @ /^vltri$/1303 $HT2CHR($base(22B2, 16, 10)) @ /^vartriangleleft$/1304 $HT2CHR($base(22B2, 16, 10)) @ /^LeftTriangle$/1305 $HT2CHR($base(22B2, 16, 10)) @ /^vrtri$/1306 $HT2CHR($base(22B3, 16, 10)) @ /^vartriangleright$/1307 $HT2CHR($base(22B3, 16, 10)) @ /^RightTriangle$/1308 $HT2CHR($base(22B3, 16, 10)) @ /^ltrie$/1309 $HT2CHR($base(22B4, 16, 10)) @ /^trianglelefteq$/1310 $HT2CHR($base(22B4, 16, 10)) @ /^LeftTriangleEqual$/1311 $HT2CHR($base(22B4, 16, 10)) @ /^nvltrie$/1312 $HT2CHR($base(22B4, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^rtrie$/1313 $HT2CHR($base(22B5, 16, 10)) @ /^trianglerighteq$/1314 $HT2CHR($base(22B5, 16, 10)) @ /^RightTriangleEqual$/1315 $HT2CHR($base(22B5, 16, 10)) @ /^nvrtrie$/1316 $HT2CHR($base(22B5, 16, 10)) $+ $HT2CHR($base(20D2, 16, 10)) @ /^origof$/1317 $HT2CHR($base(22B6, 16, 10)) @ /^imof$/1318 $HT2CHR($base(22B7, 16, 10)) @ /^mumap$/1319 $HT2CHR($base(22B8, 16, 10)) @ /^multimap$/1320 $HT2CHR($base(22B8, 16, 10)) @ /^hercon$/1321 $HT2CHR($base(22B9, 16, 10)) @ /^intcal$/1322 $HT2CHR($base(22BA, 16, 10)) @ /^intercal$/1323 $HT2CHR($base(22BA, 16, 10)) @ /^veebar$/1324 $HT2CHR($base(22BB, 16, 10)) @ /^barvee$/1325 $HT2CHR($base(22BD, 16, 10)) @ /^angrtvb$/1326 $HT2CHR($base(22BE, 16, 10)) @ /^lrtri$/1327 $HT2CHR($base(22BF, 16, 10)) @ /^xwedge$/1328 $HT2CHR($base(22C0, 16, 10)) @ /^Wedge$/1329 $HT2CHR($base(22C0, 16, 10)) @ /^bigwedge$/1330 $HT2CHR($base(22C0, 16, 10)) @ /^xvee$/1331 $HT2CHR($base(22C1, 16, 10)) @ /^Vee$/1332 $HT2CHR($base(22C1, 16, 10)) @ /^bigvee$/1333 $HT2CHR($base(22C1, 16, 10)) @ /^xcap$/1334 $HT2CHR($base(22C2, 16, 10)) @ /^Intersection$/1335 $HT2CHR($base(22C2, 16, 10)) @ /^bigcap$/1336 $HT2CHR($base(22C2, 16, 10)) @ /^xcup$/1337 $HT2CHR($base(22C3, 16, 10)) @ /^Union$/1338 $HT2CHR($base(22C3, 16, 10)) @ /^bigcup$/1339 $HT2CHR($base(22C3, 16, 10)) @ /^diam$/1340 $HT2CHR($base(22C4, 16, 10)) @ /^diamond$/1341 $HT2CHR($base(22C4, 16, 10)) @ /^Diamond$/1342 $HT2CHR($base(22C4, 16, 10)) @ /^sdot$/1343 $HT2CHR($base(22C5, 16, 10)) @ /^sstarf$/1344 $HT2CHR($base(22C6, 16, 10)) @ /^Star$/1345 $HT2CHR($base(22C6, 16, 10)) @ /^divonx$/1346 $HT2CHR($base(22C7, 16, 10)) @ /^divideontimes$/1347 $HT2CHR($base(22C7, 16, 10)) @ /^bowtie$/1348 $HT2CHR($base(22C8, 16, 10)) @ /^ltimes$/1349 $HT2CHR($base(22C9, 16, 10)) @ /^rtimes$/1350 $HT2CHR($base(22CA, 16, 10)) @ /^lthree$/1351 $HT2CHR($base(22CB, 16, 10)) @ /^leftthreetimes$/1352 $HT2CHR($base(22CB, 16, 10)) @ /^rthree$/1353 $HT2CHR($base(22CC, 16, 10)) @ /^rightthreetimes$/1354 $HT2CHR($base(22CC, 16, 10)) @ /^bsime$/1355 $HT2CHR($base(22CD, 16, 10)) @ /^backsimeq$/1356 $HT2CHR($base(22CD, 16, 10)) @ /^cuvee$/1357 $HT2CHR($base(22CE, 16, 10)) @ /^curlyvee$/1358 $HT2CHR($base(22CE, 16, 10)) @ /^cuwed$/1359 $HT2CHR($base(22CF, 16, 10)) @ /^curlywedge$/1360 $HT2CHR($base(22CF, 16, 10)) @ /^Sub$/1361 $HT2CHR($base(22D0, 16, 10)) @ /^Subset$/1362 $HT2CHR($base(22D0, 16, 10)) @ /^Sup$/1363 $HT2CHR($base(22D1, 16, 10)) @ /^Supset$/1364 $HT2CHR($base(22D1, 16, 10)) @ /^Cap$/1365 $HT2CHR($base(22D2, 16, 10)) @ /^Cup$/1366 $HT2CHR($base(22D3, 16, 10)) @ /^fork$/1367 $HT2CHR($base(22D4, 16, 10)) @ /^pitchfork$/1368 $HT2CHR($base(22D4, 16, 10)) @ /^epar$/1369 $HT2CHR($base(22D5, 16, 10)) @ /^ltdot$/1370 $HT2CHR($base(22D6, 16, 10)) @ /^lessdot$/1371 $HT2CHR($base(22D6, 16, 10)) @ /^gtdot$/1372 $HT2CHR($base(22D7, 16, 10)) @ /^gtrdot$/1373 $HT2CHR($base(22D7, 16, 10)) @ /^Ll$/1374 $HT2CHR($base(22D8, 16, 10)) @ /^nLl$/1375 $HT2CHR($base(22D8, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^Gg$/1376 $HT2CHR($base(22D9, 16, 10)) @ /^ggg$/1377 $HT2CHR($base(22D9, 16, 10)) @ /^nGg$/1378 $HT2CHR($base(22D9, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^leg$/1379 $HT2CHR($base(22DA, 16, 10)) @ /^LessEqualGreater$/1380 $HT2CHR($base(22DA, 16, 10)) @ /^lesseqgtr$/1381 $HT2CHR($base(22DA, 16, 10)) @ /^lesg$/1382 $HT2CHR($base(22DA, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^gel$/1383 $HT2CHR($base(22DB, 16, 10)) @ /^gtreqless$/1384 $HT2CHR($base(22DB, 16, 10)) @ /^GreaterEqualLess$/1385 $HT2CHR($base(22DB, 16, 10)) @ /^gesl$/1386 $HT2CHR($base(22DB, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^cuepr$/1387 $HT2CHR($base(22DE, 16, 10)) @ /^curlyeqprec$/1388 $HT2CHR($base(22DE, 16, 10)) @ /^cuesc$/1389 $HT2CHR($base(22DF, 16, 10)) @ /^curlyeqsucc$/1390 $HT2CHR($base(22DF, 16, 10)) @ /^nprcue$/1391 $HT2CHR($base(22E0, 16, 10))
  120.     dotokadd /^NotPrecedesSlantEqual$/1392 $HT2CHR($base(22E0, 16, 10)) @ /^nsccue$/1393 $HT2CHR($base(22E1, 16, 10)) @ /^NotSucceedsSlantEqual$/1394 $HT2CHR($base(22E1, 16, 10)) @ /^nsqsube$/1395 $HT2CHR($base(22E2, 16, 10)) @ /^NotSquareSubsetEqual$/1396 $HT2CHR($base(22E2, 16, 10)) @ /^nsqsupe$/1397 $HT2CHR($base(22E3, 16, 10)) @ /^NotSquareSupersetEqual$/1398 $HT2CHR($base(22E3, 16, 10)) @ /^lnsim$/1399 $HT2CHR($base(22E6, 16, 10)) @ /^gnsim$/1400 $HT2CHR($base(22E7, 16, 10)) @ /^prnsim$/1401 $HT2CHR($base(22E8, 16, 10)) @ /^precnsim$/1402 $HT2CHR($base(22E8, 16, 10)) @ /^scnsim$/1403 $HT2CHR($base(22E9, 16, 10)) @ /^succnsim$/1404 $HT2CHR($base(22E9, 16, 10)) @ /^nltri$/1405 $HT2CHR($base(22EA, 16, 10)) @ /^ntriangleleft$/1406 $HT2CHR($base(22EA, 16, 10)) @ /^NotLeftTriangle$/1407 $HT2CHR($base(22EA, 16, 10)) @ /^nrtri$/1408 $HT2CHR($base(22EB, 16, 10)) @ /^ntriangleright$/1409 $HT2CHR($base(22EB, 16, 10)) @ /^NotRightTriangle$/1410 $HT2CHR($base(22EB, 16, 10)) @ /^nltrie$/1411 $HT2CHR($base(22EC, 16, 10)) @ /^ntrianglelefteq$/1412 $HT2CHR($base(22EC, 16, 10)) @ /^NotLeftTriangleEqual$/1413 $HT2CHR($base(22EC, 16, 10)) @ /^nrtrie$/1414 $HT2CHR($base(22ED, 16, 10)) @ /^ntrianglerighteq$/1415 $HT2CHR($base(22ED, 16, 10)) @ /^NotRightTriangleEqual$/1416 $HT2CHR($base(22ED, 16, 10)) @ /^vellip$/1417 $HT2CHR($base(22EE, 16, 10)) @ /^ctdot$/1418 $HT2CHR($base(22EF, 16, 10)) @ /^utdot$/1419 $HT2CHR($base(22F0, 16, 10)) @ /^dtdot$/1420 $HT2CHR($base(22F1, 16, 10)) @ /^disin$/1421 $HT2CHR($base(22F2, 16, 10)) @ /^isinsv$/1422 $HT2CHR($base(22F3, 16, 10)) @ /^isins$/1423 $HT2CHR($base(22F4, 16, 10)) @ /^isindot$/1424 $HT2CHR($base(22F5, 16, 10)) @ /^notindot$/1425 $HT2CHR($base(22F5, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^notinvc$/1426 $HT2CHR($base(22F6, 16, 10)) @ /^notinvb$/1427 $HT2CHR($base(22F7, 16, 10)) @ /^isinE$/1428 $HT2CHR($base(22F9, 16, 10)) @ /^notinE$/1429 $HT2CHR($base(22F9, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nisd$/1430 $HT2CHR($base(22FA, 16, 10)) @ /^xnis$/1431 $HT2CHR($base(22FB, 16, 10)) @ /^nis$/1432 $HT2CHR($base(22FC, 16, 10)) @ /^notnivc$/1433 $HT2CHR($base(22FD, 16, 10)) @ /^notnivb$/1434 $HT2CHR($base(22FE, 16, 10)) @ /^barwed$/1435 $HT2CHR($base(2305, 16, 10)) @ /^barwedge$/1436 $HT2CHR($base(2305, 16, 10)) @ /^Barwed$/1437 $HT2CHR($base(2306, 16, 10)) @ /^doublebarwedge$/1438 $HT2CHR($base(2306, 16, 10)) @ /^lceil$/1439 $HT2CHR($base(2308, 16, 10)) @ /^LeftCeiling$/1440 $HT2CHR($base(2308, 16, 10)) @ /^rceil$/1441 $HT2CHR($base(2309, 16, 10)) @ /^RightCeiling$/1442 $HT2CHR($base(2309, 16, 10)) @ /^lfloor$/1443 $HT2CHR($base(230A, 16, 10)) @ /^LeftFloor$/1444 $HT2CHR($base(230A, 16, 10)) @ /^rfloor$/1445 $HT2CHR($base(230B, 16, 10)) @ /^RightFloor$/1446 $HT2CHR($base(230B, 16, 10)) @ /^drcrop$/1447 $HT2CHR($base(230C, 16, 10)) @ /^dlcrop$/1448 $HT2CHR($base(230D, 16, 10)) @ /^urcrop$/1449 $HT2CHR($base(230E, 16, 10)) @ /^ulcrop$/1450 $HT2CHR($base(230F, 16, 10)) @ /^bnot$/1451 $HT2CHR($base(2310, 16, 10)) @ /^profline$/1452 $HT2CHR($base(2312, 16, 10)) @ /^profsurf$/1453 $HT2CHR($base(2313, 16, 10)) @ /^telrec$/1454 $HT2CHR($base(2315, 16, 10)) @ /^target$/1455 $HT2CHR($base(2316, 16, 10)) @ /^ulcorn$/1456 $HT2CHR($base(231C, 16, 10)) @ /^ulcorner$/1457 $HT2CHR($base(231C, 16, 10)) @ /^urcorn$/1458 $HT2CHR($base(231D, 16, 10)) @ /^urcorner$/1459 $HT2CHR($base(231D, 16, 10)) @ /^dlcorn$/1460 $HT2CHR($base(231E, 16, 10)) @ /^llcorner$/1461 $HT2CHR($base(231E, 16, 10)) @ /^drcorn$/1462 $HT2CHR($base(231F, 16, 10)) @ /^lrcorner$/1463 $HT2CHR($base(231F, 16, 10)) @ /^frown$/1464 $HT2CHR($base(2322, 16, 10)) @ /^sfrown$/1465 $HT2CHR($base(2322, 16, 10)) @ /^smile$/1466 $HT2CHR($base(2323, 16, 10)) @ /^ssmile$/1467 $HT2CHR($base(2323, 16, 10)) @ /^cylcty$/1468 $HT2CHR($base(232D, 16, 10)) @ /^profalar$/1469 $HT2CHR($base(232E, 16, 10)) @ /^topbot$/1470 $HT2CHR($base(2336, 16, 10)) @ /^ovbar$/1471 $HT2CHR($base(233D, 16, 10)) @ /^solbar$/1472 $HT2CHR($base(233F, 16, 10)) @ /^angzarr$/1473 $HT2CHR($base(237C, 16, 10)) @ /^lmoust$/1474 $HT2CHR($base(23B0, 16, 10)) @ /^lmoustache$/1475 $HT2CHR($base(23B0, 16, 10)) @ /^rmoust$/1476 $HT2CHR($base(23B1, 16, 10)) @ /^rmoustache$/1477 $HT2CHR($base(23B1, 16, 10)) @ /^tbrk$/1478 $HT2CHR($base(23B4, 16, 10)) @ /^OverBracket$/1479 $HT2CHR($base(23B4, 16, 10)) @ /^bbrk$/1480 $HT2CHR($base(23B5, 16, 10)) @ /^UnderBracket$/1481 $HT2CHR($base(23B5, 16, 10)) @ /^bbrktbrk$/1482 $HT2CHR($base(23B6, 16, 10)) @ /^OverParenthesis$/1483 $HT2CHR($base(23DC, 16, 10)) @ /^UnderParenthesis$/1484 $HT2CHR($base(23DD, 16, 10)) @ /^OverBrace$/1485 $HT2CHR($base(23DE, 16, 10)) @ /^UnderBrace$/1486 $HT2CHR($base(23DF, 16, 10)) @ /^trpezium$/1487 $HT2CHR($base(23E2, 16, 10)) @ /^elinters$/1488 $HT2CHR($base(23E7, 16, 10)) @ /^blank$/1489 $HT2CHR($base(2423, 16, 10)) @ /^oS$/1490 $HT2CHR($base(24C8, 16, 10)) @ /^circledS$/1491 $HT2CHR($base(24C8, 16, 10)) @ /^boxh$/1492 $HT2CHR($base(2500, 16, 10)) @ /^HorizontalLine$/1493 $HT2CHR($base(2500, 16, 10)) @ /^boxv$/1494 $HT2CHR($base(2502, 16, 10)) @ /^boxdr$/1495 $HT2CHR($base(250C, 16, 10)) @ /^boxdl$/1496 $HT2CHR($base(2510, 16, 10)) @ /^boxur$/1497 $HT2CHR($base(2514, 16, 10)) @ /^boxul$/1498 $HT2CHR($base(2518, 16, 10)) @ /^boxvr$/1499 $HT2CHR($base(251C, 16, 10)) @ /^boxvl$/1500 $HT2CHR($base(2524, 16, 10)) @ /^boxhd$/1501 $HT2CHR($base(252C, 16, 10)) @ /^boxhu$/1502 $HT2CHR($base(2534, 16, 10)) @ /^boxvh$/1503 $HT2CHR($base(253C, 16, 10)) @ /^boxH$/1504 $HT2CHR($base(2550, 16, 10)) @ /^boxV$/1505 $HT2CHR($base(2551, 16, 10)) @ /^boxdR$/1506 $HT2CHR($base(2552, 16, 10)) @ /^boxDr$/1507 $HT2CHR($base(2553, 16, 10)) @ /^boxDR$/1508 $HT2CHR($base(2554, 16, 10)) @ /^boxdL$/1509 $HT2CHR($base(2555, 16, 10)) @ /^boxDl$/1510 $HT2CHR($base(2556, 16, 10)) @ /^boxDL$/1511 $HT2CHR($base(2557, 16, 10)) @ /^boxuR$/1512 $HT2CHR($base(2558, 16, 10)) @ /^boxUr$/1513 $HT2CHR($base(2559, 16, 10)) @ /^boxUR$/1514 $HT2CHR($base(255A, 16, 10)) @ /^boxuL$/1515 $HT2CHR($base(255B, 16, 10)) @ /^boxUl$/1516 $HT2CHR($base(255C, 16, 10)) @ /^boxUL$/1517 $HT2CHR($base(255D, 16, 10)) @ /^boxvR$/1518 $HT2CHR($base(255E, 16, 10)) @ /^boxVr$/1519 $HT2CHR($base(255F, 16, 10)) @ /^boxVR$/1520 $HT2CHR($base(2560, 16, 10)) @ /^boxvL$/1521 $HT2CHR($base(2561, 16, 10)) @ /^boxVl$/1522 $HT2CHR($base(2562, 16, 10)) @ /^boxVL$/1523 $HT2CHR($base(2563, 16, 10)) @ /^boxHd$/1524 $HT2CHR($base(2564, 16, 10)) @ /^boxhD$/1525 $HT2CHR($base(2565, 16, 10)) @ /^boxHD$/1526 $HT2CHR($base(2566, 16, 10)) @ /^boxHu$/1527 $HT2CHR($base(2567, 16, 10)) @ /^boxhU$/1528 $HT2CHR($base(2568, 16, 10)) @ /^boxHU$/1529 $HT2CHR($base(2569, 16, 10)) @ /^boxvH$/1530 $HT2CHR($base(256A, 16, 10)) @ /^boxVh$/1531 $HT2CHR($base(256B, 16, 10)) @ /^boxVH$/1532 $HT2CHR($base(256C, 16, 10)) @ /^uhblk$/1533 $HT2CHR($base(2580, 16, 10)) @ /^lhblk$/1534 $HT2CHR($base(2584, 16, 10)) @ /^block$/1535 $HT2CHR($base(2588, 16, 10)) @ /^blk14$/1536 $HT2CHR($base(2591, 16, 10)) @ /^blk12$/1537 $HT2CHR($base(2592, 16, 10)) @ /^blk34$/1538 $HT2CHR($base(2593, 16, 10)) @ /^squ$/1539 $HT2CHR($base(25A1, 16, 10)) @ /^square$/1540 $HT2CHR($base(25A1, 16, 10)) @ /^Square$/1541 $HT2CHR($base(25A1, 16, 10)) @ /^squf$/1542 $HT2CHR($base(25AA, 16, 10)) @ /^squarf$/1543 $HT2CHR($base(25AA, 16, 10)) @ /^blacksquare$/1544 $HT2CHR($base(25AA, 16, 10)) @ /^FilledVerySmallSquare$/1545 $HT2CHR($base(25AA, 16, 10)) @ /^EmptyVerySmallSquare$/1546 $HT2CHR($base(25AB, 16, 10)) @ /^rect$/1547 $HT2CHR($base(25AD, 16, 10)) @ /^marker$/1548 $HT2CHR($base(25AE, 16, 10)) @ /^fltns$/1549 $HT2CHR($base(25B1, 16, 10)) @ /^xutri$/1550 $HT2CHR($base(25B3, 16, 10)) @ /^bigtriangleup$/1551 $HT2CHR($base(25B3, 16, 10)) @ /^utrif$/1552 $HT2CHR($base(25B4, 16, 10)) @ /^blacktriangle$/1553 $HT2CHR($base(25B4, 16, 10)) @ /^utri$/1554 $HT2CHR($base(25B5, 16, 10)) @ /^triangle$/1555 $HT2CHR($base(25B5, 16, 10)) @ /^rtrif$/1556 $HT2CHR($base(25B8, 16, 10)) @ /^blacktriangleright$/1557 $HT2CHR($base(25B8, 16, 10)) @ /^rtri$/1558 $HT2CHR($base(25B9, 16, 10)) @ /^triangleright$/1559 $HT2CHR($base(25B9, 16, 10)) @ /^xdtri$/1560 $HT2CHR($base(25BD, 16, 10)) @ /^bigtriangledown$/1561 $HT2CHR($base(25BD, 16, 10)) @ /^dtrif$/1562 $HT2CHR($base(25BE, 16, 10)) @ /^blacktriangledown$/1563 $HT2CHR($base(25BE, 16, 10)) @ /^dtri$/1564 $HT2CHR($base(25BF, 16, 10)) @ /^triangledown$/1565 $HT2CHR($base(25BF, 16, 10)) @ /^ltrif$/1566 $HT2CHR($base(25C2, 16, 10)) @ /^blacktriangleleft$/1567 $HT2CHR($base(25C2, 16, 10)) @ /^ltri$/1568 $HT2CHR($base(25C3, 16, 10)) @ /^triangleleft$/1569 $HT2CHR($base(25C3, 16, 10)) @ /^loz$/1570 $HT2CHR($base(25CA, 16, 10)) @ /^lozenge$/1571 $HT2CHR($base(25CA, 16, 10)) @ /^cir$/1572 $HT2CHR($base(25CB, 16, 10)) @ /^tridot$/1573 $HT2CHR($base(25EC, 16, 10)) @ /^xcirc$/1574 $HT2CHR($base(25EF, 16, 10)) @ /^bigcirc$/1575 $HT2CHR($base(25EF, 16, 10)) @ /^ultri$/1576 $HT2CHR($base(25F8, 16, 10)) @ /^urtri$/1577 $HT2CHR($base(25F9, 16, 10)) @ /^lltri$/1578 $HT2CHR($base(25FA, 16, 10)) @ /^EmptySmallSquare$/1579 $HT2CHR($base(25FB, 16, 10)) @ /^FilledSmallSquare$/1580 $HT2CHR($base(25FC, 16, 10)) @ /^starf$/1581 $HT2CHR($base(2605, 16, 10)) @ /^bigstar$/1582 $HT2CHR($base(2605, 16, 10)) @ /^star$/1583 $HT2CHR($base(2606, 16, 10)) @ /^phone$/1584 $HT2CHR($base(260E, 16, 10)) @ /^female$/1585 $HT2CHR($base(2640, 16, 10)) @ /^male$/1586 $HT2CHR($base(2642, 16, 10)) @ /^spades$/1587 $HT2CHR($base(2660, 16, 10)) @ /^spadesuit$/1588 $HT2CHR($base(2660, 16, 10)) @ /^clubs$/1589 $HT2CHR($base(2663, 16, 10)) @ /^clubsuit$/1590 $HT2CHR($base(2663, 16, 10)) @ /^hearts$/1591 $HT2CHR($base(2665, 16, 10)) @ /^heartsuit$/1592 $HT2CHR($base(2665, 16, 10)) @ /^diams$/1593 $HT2CHR($base(2666, 16, 10)) @ /^diamondsuit$/1594 $HT2CHR($base(2666, 16, 10)) @ /^sung$/1595 $HT2CHR($base(266A, 16, 10)) @ /^flat$/1596 $HT2CHR($base(266D, 16, 10))
  121.     dotokadd /^natur$/1597 $HT2CHR($base(266E, 16, 10)) @ /^natural$/1598 $HT2CHR($base(266E, 16, 10)) @ /^sharp$/1599 $HT2CHR($base(266F, 16, 10)) @ /^check$/1600 $HT2CHR($base(2713, 16, 10)) @ /^checkmark$/1601 $HT2CHR($base(2713, 16, 10)) @ /^cross$/1602 $HT2CHR($base(2717, 16, 10)) @ /^malt$/1603 $HT2CHR($base(2720, 16, 10)) @ /^maltese$/1604 $HT2CHR($base(2720, 16, 10)) @ /^sext$/1605 $HT2CHR($base(2736, 16, 10)) @ /^VerticalSeparator$/1606 $HT2CHR($base(2758, 16, 10)) @ /^lbbrk$/1607 $HT2CHR($base(2772, 16, 10)) @ /^rbbrk$/1608 $HT2CHR($base(2773, 16, 10)) @ /^bsolhsub$/1609 $HT2CHR($base(27C8, 16, 10)) @ /^suphsol$/1610 $HT2CHR($base(27C9, 16, 10)) @ /^lobrk$/1611 $HT2CHR($base(27E6, 16, 10)) @ /^LeftDoubleBracket$/1612 $HT2CHR($base(27E6, 16, 10)) @ /^robrk$/1613 $HT2CHR($base(27E7, 16, 10)) @ /^RightDoubleBracket$/1614 $HT2CHR($base(27E7, 16, 10)) @ /^lang$/1615 $HT2CHR($base(27E8, 16, 10)) @ /^LeftAngleBracket$/1616 $HT2CHR($base(27E8, 16, 10)) @ /^langle$/1617 $HT2CHR($base(27E8, 16, 10)) @ /^rang$/1618 $HT2CHR($base(27E9, 16, 10)) @ /^RightAngleBracket$/1619 $HT2CHR($base(27E9, 16, 10)) @ /^rangle$/1620 $HT2CHR($base(27E9, 16, 10)) @ /^Lang$/1621 $HT2CHR($base(27EA, 16, 10)) @ /^Rang$/1622 $HT2CHR($base(27EB, 16, 10)) @ /^loang$/1623 $HT2CHR($base(27EC, 16, 10)) @ /^roang$/1624 $HT2CHR($base(27ED, 16, 10)) @ /^xlarr$/1625 $HT2CHR($base(27F5, 16, 10)) @ /^longleftarrow$/1626 $HT2CHR($base(27F5, 16, 10)) @ /^LongLeftArrow$/1627 $HT2CHR($base(27F5, 16, 10)) @ /^xrarr$/1628 $HT2CHR($base(27F6, 16, 10)) @ /^longrightarrow$/1629 $HT2CHR($base(27F6, 16, 10)) @ /^LongRightArrow$/1630 $HT2CHR($base(27F6, 16, 10)) @ /^xharr$/1631 $HT2CHR($base(27F7, 16, 10)) @ /^longleftrightarrow$/1632 $HT2CHR($base(27F7, 16, 10)) @ /^LongLeftRightArrow$/1633 $HT2CHR($base(27F7, 16, 10)) @ /^xlArr$/1634 $HT2CHR($base(27F8, 16, 10)) @ /^Longleftarrow$/1635 $HT2CHR($base(27F8, 16, 10)) @ /^DoubleLongLeftArrow$/1636 $HT2CHR($base(27F8, 16, 10)) @ /^xrArr$/1637 $HT2CHR($base(27F9, 16, 10)) @ /^Longrightarrow$/1638 $HT2CHR($base(27F9, 16, 10)) @ /^DoubleLongRightArrow$/1639 $HT2CHR($base(27F9, 16, 10)) @ /^xhArr$/1640 $HT2CHR($base(27FA, 16, 10)) @ /^Longleftrightarrow$/1641 $HT2CHR($base(27FA, 16, 10)) @ /^DoubleLongLeftRightArrow$/1642 $HT2CHR($base(27FA, 16, 10)) @ /^xmap$/1643 $HT2CHR($base(27FC, 16, 10)) @ /^longmapsto$/1644 $HT2CHR($base(27FC, 16, 10)) @ /^dzigrarr$/1645 $HT2CHR($base(27FF, 16, 10)) @ /^nvlArr$/1646 $HT2CHR($base(2902, 16, 10)) @ /^nvrArr$/1647 $HT2CHR($base(2903, 16, 10)) @ /^nvHarr$/1648 $HT2CHR($base(2904, 16, 10)) @ /^Map$/1649 $HT2CHR($base(2905, 16, 10)) @ /^lbarr$/1650 $HT2CHR($base(290C, 16, 10)) @ /^rbarr$/1651 $HT2CHR($base(290D, 16, 10)) @ /^bkarow$/1652 $HT2CHR($base(290D, 16, 10)) @ /^lBarr$/1653 $HT2CHR($base(290E, 16, 10)) @ /^rBarr$/1654 $HT2CHR($base(290F, 16, 10)) @ /^dbkarow$/1655 $HT2CHR($base(290F, 16, 10)) @ /^RBarr$/1656 $HT2CHR($base(2910, 16, 10)) @ /^drbkarow$/1657 $HT2CHR($base(2910, 16, 10)) @ /^DDotrahd$/1658 $HT2CHR($base(2911, 16, 10)) @ /^UpArrowBar$/1659 $HT2CHR($base(2912, 16, 10)) @ /^DownArrowBar$/1660 $HT2CHR($base(2913, 16, 10)) @ /^Rarrtl$/1661 $HT2CHR($base(2916, 16, 10)) @ /^latail$/1662 $HT2CHR($base(2919, 16, 10)) @ /^ratail$/1663 $HT2CHR($base(291A, 16, 10)) @ /^lAtail$/1664 $HT2CHR($base(291B, 16, 10)) @ /^rAtail$/1665 $HT2CHR($base(291C, 16, 10)) @ /^larrfs$/1666 $HT2CHR($base(291D, 16, 10)) @ /^rarrfs$/1667 $HT2CHR($base(291E, 16, 10)) @ /^larrbfs$/1668 $HT2CHR($base(291F, 16, 10)) @ /^rarrbfs$/1669 $HT2CHR($base(2920, 16, 10)) @ /^nwarhk$/1670 $HT2CHR($base(2923, 16, 10)) @ /^nearhk$/1671 $HT2CHR($base(2924, 16, 10)) @ /^searhk$/1672 $HT2CHR($base(2925, 16, 10)) @ /^hksearow$/1673 $HT2CHR($base(2925, 16, 10)) @ /^swarhk$/1674 $HT2CHR($base(2926, 16, 10)) @ /^hkswarow$/1675 $HT2CHR($base(2926, 16, 10)) @ /^nwnear$/1676 $HT2CHR($base(2927, 16, 10)) @ /^nesear$/1677 $HT2CHR($base(2928, 16, 10)) @ /^toea$/1678 $HT2CHR($base(2928, 16, 10)) @ /^seswar$/1679 $HT2CHR($base(2929, 16, 10)) @ /^tosa$/1680 $HT2CHR($base(2929, 16, 10)) @ /^swnwar$/1681 $HT2CHR($base(292A, 16, 10)) @ /^rarrc$/1682 $HT2CHR($base(2933, 16, 10)) @ /^nrarrc$/1683 $HT2CHR($base(2933, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^cudarrr$/1684 $HT2CHR($base(2935, 16, 10)) @ /^ldca$/1685 $HT2CHR($base(2936, 16, 10)) @ /^rdca$/1686 $HT2CHR($base(2937, 16, 10)) @ /^cudarrl$/1687 $HT2CHR($base(2938, 16, 10)) @ /^larrpl$/1688 $HT2CHR($base(2939, 16, 10)) @ /^curarrm$/1689 $HT2CHR($base(293C, 16, 10)) @ /^cularrp$/1690 $HT2CHR($base(293D, 16, 10)) @ /^rarrpl$/1691 $HT2CHR($base(2945, 16, 10)) @ /^harrcir$/1692 $HT2CHR($base(2948, 16, 10)) @ /^Uarrocir$/1693 $HT2CHR($base(2949, 16, 10)) @ /^lurdshar$/1694 $HT2CHR($base(294A, 16, 10)) @ /^ldrushar$/1695 $HT2CHR($base(294B, 16, 10)) @ /^LeftRightVector$/1696 $HT2CHR($base(294E, 16, 10)) @ /^RightUpDownVector$/1697 $HT2CHR($base(294F, 16, 10)) @ /^DownLeftRightVector$/1698 $HT2CHR($base(2950, 16, 10)) @ /^LeftUpDownVector$/1699 $HT2CHR($base(2951, 16, 10)) @ /^LeftVectorBar$/1700 $HT2CHR($base(2952, 16, 10)) @ /^RightVectorBar$/1701 $HT2CHR($base(2953, 16, 10)) @ /^RightUpVectorBar$/1702 $HT2CHR($base(2954, 16, 10)) @ /^RightDownVectorBar$/1703 $HT2CHR($base(2955, 16, 10)) @ /^DownLeftVectorBar$/1704 $HT2CHR($base(2956, 16, 10)) @ /^DownRightVectorBar$/1705 $HT2CHR($base(2957, 16, 10)) @ /^LeftUpVectorBar$/1706 $HT2CHR($base(2958, 16, 10)) @ /^LeftDownVectorBar$/1707 $HT2CHR($base(2959, 16, 10)) @ /^LeftTeeVector$/1708 $HT2CHR($base(295A, 16, 10)) @ /^RightTeeVector$/1709 $HT2CHR($base(295B, 16, 10)) @ /^RightUpTeeVector$/1710 $HT2CHR($base(295C, 16, 10)) @ /^RightDownTeeVector$/1711 $HT2CHR($base(295D, 16, 10)) @ /^DownLeftTeeVector$/1712 $HT2CHR($base(295E, 16, 10)) @ /^DownRightTeeVector$/1713 $HT2CHR($base(295F, 16, 10)) @ /^LeftUpTeeVector$/1714 $HT2CHR($base(2960, 16, 10)) @ /^LeftDownTeeVector$/1715 $HT2CHR($base(2961, 16, 10)) @ /^lHar$/1716 $HT2CHR($base(2962, 16, 10)) @ /^uHar$/1717 $HT2CHR($base(2963, 16, 10)) @ /^rHar$/1718 $HT2CHR($base(2964, 16, 10)) @ /^dHar$/1719 $HT2CHR($base(2965, 16, 10)) @ /^luruhar$/1720 $HT2CHR($base(2966, 16, 10)) @ /^ldrdhar$/1721 $HT2CHR($base(2967, 16, 10)) @ /^ruluhar$/1722 $HT2CHR($base(2968, 16, 10)) @ /^rdldhar$/1723 $HT2CHR($base(2969, 16, 10)) @ /^lharul$/1724 $HT2CHR($base(296A, 16, 10)) @ /^llhard$/1725 $HT2CHR($base(296B, 16, 10)) @ /^rharul$/1726 $HT2CHR($base(296C, 16, 10)) @ /^lrhard$/1727 $HT2CHR($base(296D, 16, 10)) @ /^udhar$/1728 $HT2CHR($base(296E, 16, 10)) @ /^UpEquilibrium$/1729 $HT2CHR($base(296E, 16, 10)) @ /^duhar$/1730 $HT2CHR($base(296F, 16, 10)) @ /^ReverseUpEquilibrium$/1731 $HT2CHR($base(296F, 16, 10)) @ /^RoundImplies$/1732 $HT2CHR($base(2970, 16, 10)) @ /^erarr$/1733 $HT2CHR($base(2971, 16, 10)) @ /^simrarr$/1734 $HT2CHR($base(2972, 16, 10)) @ /^larrsim$/1735 $HT2CHR($base(2973, 16, 10)) @ /^rarrsim$/1736 $HT2CHR($base(2974, 16, 10)) @ /^rarrap$/1737 $HT2CHR($base(2975, 16, 10)) @ /^ltlarr$/1738 $HT2CHR($base(2976, 16, 10)) @ /^gtrarr$/1739 $HT2CHR($base(2978, 16, 10)) @ /^subrarr$/1740 $HT2CHR($base(2979, 16, 10)) @ /^suplarr$/1741 $HT2CHR($base(297B, 16, 10)) @ /^lfisht$/1742 $HT2CHR($base(297C, 16, 10)) @ /^rfisht$/1743 $HT2CHR($base(297D, 16, 10)) @ /^ufisht$/1744 $HT2CHR($base(297E, 16, 10)) @ /^dfisht$/1745 $HT2CHR($base(297F, 16, 10)) @ /^lopar$/1746 $HT2CHR($base(2985, 16, 10)) @ /^ropar$/1747 $HT2CHR($base(2986, 16, 10)) @ /^lbrke$/1748 $HT2CHR($base(298B, 16, 10)) @ /^rbrke$/1749 $HT2CHR($base(298C, 16, 10)) @ /^lbrkslu$/1750 $HT2CHR($base(298D, 16, 10)) @ /^rbrksld$/1751 $HT2CHR($base(298E, 16, 10)) @ /^lbrksld$/1752 $HT2CHR($base(298F, 16, 10)) @ /^rbrkslu$/1753 $HT2CHR($base(2990, 16, 10)) @ /^langd$/1754 $HT2CHR($base(2991, 16, 10)) @ /^rangd$/1755 $HT2CHR($base(2992, 16, 10)) @ /^lparlt$/1756 $HT2CHR($base(2993, 16, 10)) @ /^rpargt$/1757 $HT2CHR($base(2994, 16, 10)) @ /^gtlPar$/1758 $HT2CHR($base(2995, 16, 10)) @ /^ltrPar$/1759 $HT2CHR($base(2996, 16, 10)) @ /^vzigzag$/1760 $HT2CHR($base(299A, 16, 10)) @ /^vangrt$/1761 $HT2CHR($base(299C, 16, 10)) @ /^angrtvbd$/1762 $HT2CHR($base(299D, 16, 10)) @ /^ange$/1763 $HT2CHR($base(29A4, 16, 10)) @ /^range$/1764 $HT2CHR($base(29A5, 16, 10)) @ /^dwangle$/1765 $HT2CHR($base(29A6, 16, 10)) @ /^uwangle$/1766 $HT2CHR($base(29A7, 16, 10)) @ /^angmsdaa$/1767 $HT2CHR($base(29A8, 16, 10)) @ /^angmsdab$/1768 $HT2CHR($base(29A9, 16, 10)) @ /^angmsdac$/1769 $HT2CHR($base(29AA, 16, 10)) @ /^angmsdad$/1770 $HT2CHR($base(29AB, 16, 10)) @ /^angmsdae$/1771 $HT2CHR($base(29AC, 16, 10)) @ /^angmsdaf$/1772 $HT2CHR($base(29AD, 16, 10)) @ /^angmsdag$/1773 $HT2CHR($base(29AE, 16, 10)) @ /^angmsdah$/1774 $HT2CHR($base(29AF, 16, 10)) @ /^bemptyv$/1775 $HT2CHR($base(29B0, 16, 10)) @ /^demptyv$/1776 $HT2CHR($base(29B1, 16, 10)) @ /^cemptyv$/1777 $HT2CHR($base(29B2, 16, 10)) @ /^raemptyv$/1778 $HT2CHR($base(29B3, 16, 10)) @ /^laemptyv$/1779 $HT2CHR($base(29B4, 16, 10)) @ /^ohbar$/1780 $HT2CHR($base(29B5, 16, 10)) @ /^omid$/1781 $HT2CHR($base(29B6, 16, 10)) @ /^opar$/1782 $HT2CHR($base(29B7, 16, 10)) @ /^operp$/1783 $HT2CHR($base(29B9, 16, 10)) @ /^olcross$/1784 $HT2CHR($base(29BB, 16, 10)) @ /^odsold$/1785 $HT2CHR($base(29BC, 16, 10)) @ /^olcir$/1786 $HT2CHR($base(29BE, 16, 10)) @ /^ofcir$/1787 $HT2CHR($base(29BF, 16, 10)) @ /^olt$/1788 $HT2CHR($base(29C0, 16, 10)) @ /^ogt$/1789 $HT2CHR($base(29C1, 16, 10)) @ /^cirscir$/1790 $HT2CHR($base(29C2, 16, 10)) @ /^cirE$/1791 $HT2CHR($base(29C3, 16, 10)) @ /^solb$/1792 $HT2CHR($base(29C4, 16, 10)) @ /^bsolb$/1793 $HT2CHR($base(29C5, 16, 10)) @ /^boxbox$/1794 $HT2CHR($base(29C9, 16, 10)) @ /^trisb$/1795 $HT2CHR($base(29CD, 16, 10)) @ /^rtriltri$/1796 $HT2CHR($base(29CE, 16, 10)) @ /^LeftTriangleBar$/1797 $HT2CHR($base(29CF, 16, 10)) @ /^NotLeftTriangleBar$/1798 $HT2CHR($base(29CF, 16, 10)) $+ $HT2CHR($base(0338, 16, 10))
  122.     dotokadd /^RightTriangleBar$/1799 $HT2CHR($base(29D0, 16, 10)) @ /^NotRightTriangleBar$/1800 $HT2CHR($base(29D0, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^iinfin$/1801 $HT2CHR($base(29DC, 16, 10)) @ /^infintie$/1802 $HT2CHR($base(29DD, 16, 10)) @ /^nvinfin$/1803 $HT2CHR($base(29DE, 16, 10)) @ /^eparsl$/1804 $HT2CHR($base(29E3, 16, 10)) @ /^smeparsl$/1805 $HT2CHR($base(29E4, 16, 10)) @ /^eqvparsl$/1806 $HT2CHR($base(29E5, 16, 10)) @ /^lozf$/1807 $HT2CHR($base(29EB, 16, 10)) @ /^blacklozenge$/1808 $HT2CHR($base(29EB, 16, 10)) @ /^RuleDelayed$/1809 $HT2CHR($base(29F4, 16, 10)) @ /^dsol$/1810 $HT2CHR($base(29F6, 16, 10)) @ /^xodot$/1811 $HT2CHR($base(2A00, 16, 10)) @ /^bigodot$/1812 $HT2CHR($base(2A00, 16, 10)) @ /^xoplus$/1813 $HT2CHR($base(2A01, 16, 10)) @ /^bigoplus$/1814 $HT2CHR($base(2A01, 16, 10)) @ /^xotime$/1815 $HT2CHR($base(2A02, 16, 10)) @ /^bigotimes$/1816 $HT2CHR($base(2A02, 16, 10)) @ /^xuplus$/1817 $HT2CHR($base(2A04, 16, 10)) @ /^biguplus$/1818 $HT2CHR($base(2A04, 16, 10)) @ /^xsqcup$/1819 $HT2CHR($base(2A06, 16, 10)) @ /^bigsqcup$/1820 $HT2CHR($base(2A06, 16, 10)) @ /^qint$/1821 $HT2CHR($base(2A0C, 16, 10)) @ /^iiiint$/1822 $HT2CHR($base(2A0C, 16, 10)) @ /^fpartint$/1823 $HT2CHR($base(2A0D, 16, 10)) @ /^cirfnint$/1824 $HT2CHR($base(2A10, 16, 10)) @ /^awint$/1825 $HT2CHR($base(2A11, 16, 10)) @ /^rppolint$/1826 $HT2CHR($base(2A12, 16, 10)) @ /^scpolint$/1827 $HT2CHR($base(2A13, 16, 10)) @ /^npolint$/1828 $HT2CHR($base(2A14, 16, 10)) @ /^pointint$/1829 $HT2CHR($base(2A15, 16, 10)) @ /^quatint$/1830 $HT2CHR($base(2A16, 16, 10)) @ /^intlarhk$/1831 $HT2CHR($base(2A17, 16, 10)) @ /^pluscir$/1832 $HT2CHR($base(2A22, 16, 10)) @ /^plusacir$/1833 $HT2CHR($base(2A23, 16, 10)) @ /^simplus$/1834 $HT2CHR($base(2A24, 16, 10)) @ /^plusdu$/1835 $HT2CHR($base(2A25, 16, 10)) @ /^plussim$/1836 $HT2CHR($base(2A26, 16, 10)) @ /^plustwo$/1837 $HT2CHR($base(2A27, 16, 10)) @ /^mcomma$/1838 $HT2CHR($base(2A29, 16, 10)) @ /^minusdu$/1839 $HT2CHR($base(2A2A, 16, 10)) @ /^loplus$/1840 $HT2CHR($base(2A2D, 16, 10)) @ /^roplus$/1841 $HT2CHR($base(2A2E, 16, 10)) @ /^Cross$/1842 $HT2CHR($base(2A2F, 16, 10)) @ /^timesd$/1843 $HT2CHR($base(2A30, 16, 10)) @ /^timesbar$/1844 $HT2CHR($base(2A31, 16, 10)) @ /^smashp$/1845 $HT2CHR($base(2A33, 16, 10)) @ /^lotimes$/1846 $HT2CHR($base(2A34, 16, 10)) @ /^rotimes$/1847 $HT2CHR($base(2A35, 16, 10)) @ /^otimesas$/1848 $HT2CHR($base(2A36, 16, 10)) @ /^Otimes$/1849 $HT2CHR($base(2A37, 16, 10)) @ /^odiv$/1850 $HT2CHR($base(2A38, 16, 10)) @ /^triplus$/1851 $HT2CHR($base(2A39, 16, 10)) @ /^triminus$/1852 $HT2CHR($base(2A3A, 16, 10)) @ /^tritime$/1853 $HT2CHR($base(2A3B, 16, 10)) @ /^iprod$/1854 $HT2CHR($base(2A3C, 16, 10)) @ /^intprod$/1855 $HT2CHR($base(2A3C, 16, 10)) @ /^amalg$/1856 $HT2CHR($base(2A3F, 16, 10)) @ /^capdot$/1857 $HT2CHR($base(2A40, 16, 10)) @ /^ncup$/1858 $HT2CHR($base(2A42, 16, 10)) @ /^ncap$/1859 $HT2CHR($base(2A43, 16, 10)) @ /^capand$/1860 $HT2CHR($base(2A44, 16, 10)) @ /^cupor$/1861 $HT2CHR($base(2A45, 16, 10)) @ /^cupcap$/1862 $HT2CHR($base(2A46, 16, 10)) @ /^capcup$/1863 $HT2CHR($base(2A47, 16, 10)) @ /^cupbrcap$/1864 $HT2CHR($base(2A48, 16, 10)) @ /^capbrcup$/1865 $HT2CHR($base(2A49, 16, 10)) @ /^cupcup$/1866 $HT2CHR($base(2A4A, 16, 10)) @ /^capcap$/1867 $HT2CHR($base(2A4B, 16, 10)) @ /^ccups$/1868 $HT2CHR($base(2A4C, 16, 10)) @ /^ccaps$/1869 $HT2CHR($base(2A4D, 16, 10)) @ /^ccupssm$/1870 $HT2CHR($base(2A50, 16, 10)) @ /^And$/1871 $HT2CHR($base(2A53, 16, 10)) @ /^Or$/1872 $HT2CHR($base(2A54, 16, 10)) @ /^andand$/1873 $HT2CHR($base(2A55, 16, 10)) @ /^oror$/1874 $HT2CHR($base(2A56, 16, 10)) @ /^orslope$/1875 $HT2CHR($base(2A57, 16, 10)) @ /^andslope$/1876 $HT2CHR($base(2A58, 16, 10)) @ /^andv$/1877 $HT2CHR($base(2A5A, 16, 10)) @ /^orv$/1878 $HT2CHR($base(2A5B, 16, 10)) @ /^andd$/1879 $HT2CHR($base(2A5C, 16, 10)) @ /^ord$/1880 $HT2CHR($base(2A5D, 16, 10)) @ /^wedbar$/1881 $HT2CHR($base(2A5F, 16, 10)) @ /^sdote$/1882 $HT2CHR($base(2A66, 16, 10)) @ /^simdot$/1883 $HT2CHR($base(2A6A, 16, 10)) @ /^congdot$/1884 $HT2CHR($base(2A6D, 16, 10)) @ /^ncongdot$/1885 $HT2CHR($base(2A6D, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^easter$/1886 $HT2CHR($base(2A6E, 16, 10)) @ /^apacir$/1887 $HT2CHR($base(2A6F, 16, 10)) @ /^apE$/1888 $HT2CHR($base(2A70, 16, 10)) @ /^napE$/1889 $HT2CHR($base(2A70, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^eplus$/1890 $HT2CHR($base(2A71, 16, 10)) @ /^pluse$/1891 $HT2CHR($base(2A72, 16, 10)) @ /^Esim$/1892 $HT2CHR($base(2A73, 16, 10)) @ /^Colone$/1893 $HT2CHR($base(2A74, 16, 10)) @ /^Equal$/1894 $HT2CHR($base(2A75, 16, 10)) @ /^eDDot$/1895 $HT2CHR($base(2A77, 16, 10)) @ /^ddotseq$/1896 $HT2CHR($base(2A77, 16, 10)) @ /^equivDD$/1897 $HT2CHR($base(2A78, 16, 10)) @ /^ltcir$/1898 $HT2CHR($base(2A79, 16, 10)) @ /^gtcir$/1899 $HT2CHR($base(2A7A, 16, 10)) @ /^ltquest$/1900 $HT2CHR($base(2A7B, 16, 10)) @ /^gtquest$/1901 $HT2CHR($base(2A7C, 16, 10)) @ /^les$/1902 $HT2CHR($base(2A7D, 16, 10)) @ /^LessSlantEqual$/1903 $HT2CHR($base(2A7D, 16, 10)) @ /^leqslant$/1904 $HT2CHR($base(2A7D, 16, 10)) @ /^nles$/1905 $HT2CHR($base(2A7D, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotLessSlantEqual$/1906 $HT2CHR($base(2A7D, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nleqslant$/1907 $HT2CHR($base(2A7D, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^ges$/1908 $HT2CHR($base(2A7E, 16, 10)) @ /^GreaterSlantEqual$/1909 $HT2CHR($base(2A7E, 16, 10)) @ /^geqslant$/1910 $HT2CHR($base(2A7E, 16, 10)) @ /^nges$/1911 $HT2CHR($base(2A7E, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotGreaterSlantEqual$/1912 $HT2CHR($base(2A7E, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^ngeqslant$/1913 $HT2CHR($base(2A7E, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^lesdot$/1914 $HT2CHR($base(2A7F, 16, 10)) @ /^gesdot$/1915 $HT2CHR($base(2A80, 16, 10)) @ /^lesdoto$/1916 $HT2CHR($base(2A81, 16, 10)) @ /^gesdoto$/1917 $HT2CHR($base(2A82, 16, 10)) @ /^lesdotor$/1918 $HT2CHR($base(2A83, 16, 10)) @ /^gesdotol$/1919 $HT2CHR($base(2A84, 16, 10)) @ /^lap$/1920 $HT2CHR($base(2A85, 16, 10)) @ /^lessapprox$/1921 $HT2CHR($base(2A85, 16, 10)) @ /^gap$/1922 $HT2CHR($base(2A86, 16, 10)) @ /^gtrapprox$/1923 $HT2CHR($base(2A86, 16, 10)) @ /^lne$/1924 $HT2CHR($base(2A87, 16, 10)) @ /^lneq$/1925 $HT2CHR($base(2A87, 16, 10)) @ /^gne$/1926 $HT2CHR($base(2A88, 16, 10)) @ /^gneq$/1927 $HT2CHR($base(2A88, 16, 10)) @ /^lnap$/1928 $HT2CHR($base(2A89, 16, 10)) @ /^lnapprox$/1929 $HT2CHR($base(2A89, 16, 10)) @ /^gnap$/1930 $HT2CHR($base(2A8A, 16, 10)) @ /^gnapprox$/1931 $HT2CHR($base(2A8A, 16, 10)) @ /^lEg$/1932 $HT2CHR($base(2A8B, 16, 10)) @ /^lesseqqgtr$/1933 $HT2CHR($base(2A8B, 16, 10)) @ /^gEl$/1934 $HT2CHR($base(2A8C, 16, 10)) @ /^gtreqqless$/1935 $HT2CHR($base(2A8C, 16, 10)) @ /^lsime$/1936 $HT2CHR($base(2A8D, 16, 10)) @ /^gsime$/1937 $HT2CHR($base(2A8E, 16, 10)) @ /^lsimg$/1938 $HT2CHR($base(2A8F, 16, 10)) @ /^gsiml$/1939 $HT2CHR($base(2A90, 16, 10)) @ /^lgE$/1940 $HT2CHR($base(2A91, 16, 10)) @ /^glE$/1941 $HT2CHR($base(2A92, 16, 10)) @ /^lesges$/1942 $HT2CHR($base(2A93, 16, 10)) @ /^gesles$/1943 $HT2CHR($base(2A94, 16, 10)) @ /^els$/1944 $HT2CHR($base(2A95, 16, 10)) @ /^eqslantless$/1945 $HT2CHR($base(2A95, 16, 10)) @ /^egs$/1946 $HT2CHR($base(2A96, 16, 10)) @ /^eqslantgtr$/1947 $HT2CHR($base(2A96, 16, 10)) @ /^elsdot$/1948 $HT2CHR($base(2A97, 16, 10)) @ /^egsdot$/1949 $HT2CHR($base(2A98, 16, 10)) @ /^el$/1950 $HT2CHR($base(2A99, 16, 10)) @ /^eg$/1951 $HT2CHR($base(2A9A, 16, 10)) @ /^siml$/1952 $HT2CHR($base(2A9D, 16, 10)) @ /^simg$/1953 $HT2CHR($base(2A9E, 16, 10)) @ /^simlE$/1954 $HT2CHR($base(2A9F, 16, 10)) @ /^simgE$/1955 $HT2CHR($base(2AA0, 16, 10)) @ /^LessLess$/1956 $HT2CHR($base(2AA1, 16, 10)) @ /^NotNestedLessLess$/1957 $HT2CHR($base(2AA1, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^GreaterGreater$/1958 $HT2CHR($base(2AA2, 16, 10)) @ /^NotNestedGreaterGreater$/1959 $HT2CHR($base(2AA2, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^glj$/1960 $HT2CHR($base(2AA4, 16, 10)) @ /^gla$/1961 $HT2CHR($base(2AA5, 16, 10)) @ /^ltcc$/1962 $HT2CHR($base(2AA6, 16, 10)) @ /^gtcc$/1963 $HT2CHR($base(2AA7, 16, 10)) @ /^lescc$/1964 $HT2CHR($base(2AA8, 16, 10)) @ /^gescc$/1965 $HT2CHR($base(2AA9, 16, 10)) @ /^smt$/1966 $HT2CHR($base(2AAA, 16, 10)) @ /^lat$/1967 $HT2CHR($base(2AAB, 16, 10)) @ /^smte$/1968 $HT2CHR($base(2AAC, 16, 10)) @ /^smtes$/1969 $HT2CHR($base(2AAC, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^late$/1970 $HT2CHR($base(2AAD, 16, 10)) @ /^lates$/1971 $HT2CHR($base(2AAD, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^bumpE$/1972 $HT2CHR($base(2AAE, 16, 10)) @ /^pre$/1973 $HT2CHR($base(2AAF, 16, 10)) @ /^preceq$/1974 $HT2CHR($base(2AAF, 16, 10)) @ /^PrecedesEqual$/1975 $HT2CHR($base(2AAF, 16, 10)) @ /^npre$/1976 $HT2CHR($base(2AAF, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^npreceq$/1977 $HT2CHR($base(2AAF, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotPrecedesEqual$/1978 $HT2CHR($base(2AAF, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^sce$/1979 $HT2CHR($base(2AB0, 16, 10)) @ /^succeq$/1980 $HT2CHR($base(2AB0, 16, 10)) @ /^SucceedsEqual$/1981 $HT2CHR($base(2AB0, 16, 10)) @ /^nsce$/1982 $HT2CHR($base(2AB0, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nsucceq$/1983 $HT2CHR($base(2AB0, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^NotSucceedsEqual$/1984 $HT2CHR($base(2AB0, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^prE$/1985 $HT2CHR($base(2AB3, 16, 10)) @ /^scE$/1986 $HT2CHR($base(2AB4, 16, 10)) @ /^prnE$/1987 $HT2CHR($base(2AB5, 16, 10)) @ /^precneqq$/1988 $HT2CHR($base(2AB5, 16, 10)) @ /^scnE$/1989 $HT2CHR($base(2AB6, 16, 10)) @ /^succneqq$/1990 $HT2CHR($base(2AB6, 16, 10)) @ /^prap$/1991 $HT2CHR($base(2AB7, 16, 10)) @ /^precapprox$/1992 $HT2CHR($base(2AB7, 16, 10)) @ /^scap$/1993 $HT2CHR($base(2AB8, 16, 10)) @ /^succapprox$/1994 $HT2CHR($base(2AB8, 16, 10)) @ /^prnap$/1995 $HT2CHR($base(2AB9, 16, 10))
  123.     dotokadd /^precnapprox$/1996 $HT2CHR($base(2AB9, 16, 10)) @ /^scnap$/1997 $HT2CHR($base(2ABA, 16, 10)) @ /^succnapprox$/1998 $HT2CHR($base(2ABA, 16, 10)) @ /^Pr$/1999 $HT2CHR($base(2ABB, 16, 10)) @ /^Sc$/2000 $HT2CHR($base(2ABC, 16, 10)) @ /^subdot$/2001 $HT2CHR($base(2ABD, 16, 10)) @ /^supdot$/2002 $HT2CHR($base(2ABE, 16, 10)) @ /^subplus$/2003 $HT2CHR($base(2ABF, 16, 10)) @ /^supplus$/2004 $HT2CHR($base(2AC0, 16, 10)) @ /^submult$/2005 $HT2CHR($base(2AC1, 16, 10)) @ /^supmult$/2006 $HT2CHR($base(2AC2, 16, 10)) @ /^subedot$/2007 $HT2CHR($base(2AC3, 16, 10)) @ /^supedot$/2008 $HT2CHR($base(2AC4, 16, 10)) @ /^subE$/2009 $HT2CHR($base(2AC5, 16, 10)) @ /^subseteqq$/2010 $HT2CHR($base(2AC5, 16, 10)) @ /^nsubE$/2011 $HT2CHR($base(2AC5, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nsubseteqq$/2012 $HT2CHR($base(2AC5, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^supE$/2013 $HT2CHR($base(2AC6, 16, 10)) @ /^supseteqq$/2014 $HT2CHR($base(2AC6, 16, 10)) @ /^nsupE$/2015 $HT2CHR($base(2AC6, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^nsupseteqq$/2016 $HT2CHR($base(2AC6, 16, 10)) $+ $HT2CHR($base(0338, 16, 10)) @ /^subsim$/2017 $HT2CHR($base(2AC7, 16, 10)) @ /^supsim$/2018 $HT2CHR($base(2AC8, 16, 10)) @ /^subnE$/2019 $HT2CHR($base(2ACB, 16, 10)) @ /^subsetneqq$/2020 $HT2CHR($base(2ACB, 16, 10)) @ /^vsubnE$/2021 $HT2CHR($base(2ACB, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^varsubsetneqq$/2022 $HT2CHR($base(2ACB, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^supnE$/2023 $HT2CHR($base(2ACC, 16, 10)) @ /^supsetneqq$/2024 $HT2CHR($base(2ACC, 16, 10)) @ /^vsupnE$/2025 $HT2CHR($base(2ACC, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^varsupsetneqq$/2026 $HT2CHR($base(2ACC, 16, 10)) $+ $HT2CHR($base(FE00, 16, 10)) @ /^csub$/2027 $HT2CHR($base(2ACF, 16, 10)) @ /^csup$/2028 $HT2CHR($base(2AD0, 16, 10)) @ /^csube$/2029 $HT2CHR($base(2AD1, 16, 10)) @ /^csupe$/2030 $HT2CHR($base(2AD2, 16, 10)) @ /^subsup$/2031 $HT2CHR($base(2AD3, 16, 10)) @ /^supsub$/2032 $HT2CHR($base(2AD4, 16, 10)) @ /^subsub$/2033 $HT2CHR($base(2AD5, 16, 10)) @ /^supsup$/2034 $HT2CHR($base(2AD6, 16, 10)) @ /^suphsub$/2035 $HT2CHR($base(2AD7, 16, 10)) @ /^supdsub$/2036 $HT2CHR($base(2AD8, 16, 10)) @ /^forkv$/2037 $HT2CHR($base(2AD9, 16, 10)) @ /^topfork$/2038 $HT2CHR($base(2ADA, 16, 10)) @ /^mlcp$/2039 $HT2CHR($base(2ADB, 16, 10)) @ /^Dashv$/2040 $HT2CHR($base(2AE4, 16, 10)) @ /^DoubleLeftTee$/2041 $HT2CHR($base(2AE4, 16, 10)) @ /^Vdashl$/2042 $HT2CHR($base(2AE6, 16, 10)) @ /^Barv$/2043 $HT2CHR($base(2AE7, 16, 10)) @ /^vBar$/2044 $HT2CHR($base(2AE8, 16, 10)) @ /^vBarv$/2045 $HT2CHR($base(2AE9, 16, 10)) @ /^Vbar$/2046 $HT2CHR($base(2AEB, 16, 10)) @ /^Not$/2047 $HT2CHR($base(2AEC, 16, 10)) @ /^bNot$/2048 $HT2CHR($base(2AED, 16, 10)) @ /^rnmid$/2049 $HT2CHR($base(2AEE, 16, 10)) @ /^cirmid$/2050 $HT2CHR($base(2AEF, 16, 10)) @ /^midcir$/2051 $HT2CHR($base(2AF0, 16, 10)) @ /^topcir$/2052 $HT2CHR($base(2AF1, 16, 10)) @ /^nhpar$/2053 $HT2CHR($base(2AF2, 16, 10)) @ /^parsim$/2054 $HT2CHR($base(2AF3, 16, 10)) @ /^parsl$/2055 $HT2CHR($base(2AFD, 16, 10)) @ /^nparsl$/2056 $HT2CHR($base(2AFD, 16, 10)) $+ $HT2CHR($base(20E5, 16, 10)) @ /^fflig$/2057 $HT2CHR($base(FB00, 16, 10)) @ /^filig$/2058 $HT2CHR($base(FB01, 16, 10)) @ /^fllig$/2059 $HT2CHR($base(FB02, 16, 10)) @ /^ffilig$/2060 $HT2CHR($base(FB03, 16, 10)) @ /^ffllig$/2061 $HT2CHR($base(FB04, 16, 10)) @ /^Ascr$/2062 $HT2CHR($base(1D49C, 16, 10)) @ /^Cscr$/2063 $HT2CHR($base(1D49E, 16, 10)) @ /^Dscr$/2064 $HT2CHR($base(1D49F, 16, 10)) @ /^Gscr$/2065 $HT2CHR($base(1D4A2, 16, 10)) @ /^Jscr$/2066 $HT2CHR($base(1D4A5, 16, 10)) @ /^Kscr$/2067 $HT2CHR($base(1D4A6, 16, 10)) @ /^Nscr$/2068 $HT2CHR($base(1D4A9, 16, 10)) @ /^Oscr$/2069 $HT2CHR($base(1D4AA, 16, 10)) @ /^Pscr$/2070 $HT2CHR($base(1D4AB, 16, 10)) @ /^Qscr$/2071 $HT2CHR($base(1D4AC, 16, 10)) @ /^Sscr$/2072 $HT2CHR($base(1D4AE, 16, 10)) @ /^Tscr$/2073 $HT2CHR($base(1D4AF, 16, 10)) @ /^Uscr$/2074 $HT2CHR($base(1D4B0, 16, 10)) @ /^Vscr$/2075 $HT2CHR($base(1D4B1, 16, 10)) @ /^Wscr$/2076 $HT2CHR($base(1D4B2, 16, 10)) @ /^Xscr$/2077 $HT2CHR($base(1D4B3, 16, 10)) @ /^Yscr$/2078 $HT2CHR($base(1D4B4, 16, 10)) @ /^Zscr$/2079 $HT2CHR($base(1D4B5, 16, 10)) @ /^ascr$/2080 $HT2CHR($base(1D4B6, 16, 10)) @ /^bscr$/2081 $HT2CHR($base(1D4B7, 16, 10)) @ /^cscr$/2082 $HT2CHR($base(1D4B8, 16, 10)) @ /^dscr$/2083 $HT2CHR($base(1D4B9, 16, 10)) @ /^fscr$/2084 $HT2CHR($base(1D4BB, 16, 10)) @ /^hscr$/2085 $HT2CHR($base(1D4BD, 16, 10)) @ /^iscr$/2086 $HT2CHR($base(1D4BE, 16, 10)) @ /^jscr$/2087 $HT2CHR($base(1D4BF, 16, 10)) @ /^kscr$/2088 $HT2CHR($base(1D4C0, 16, 10)) @ /^lscr$/2089 $HT2CHR($base(1D4C1, 16, 10)) @ /^mscr$/2090 $HT2CHR($base(1D4C2, 16, 10)) @ /^nscr$/2091 $HT2CHR($base(1D4C3, 16, 10)) @ /^pscr$/2092 $HT2CHR($base(1D4C5, 16, 10)) @ /^qscr$/2093 $HT2CHR($base(1D4C6, 16, 10)) @ /^rscr$/2094 $HT2CHR($base(1D4C7, 16, 10)) @ /^sscr$/2095 $HT2CHR($base(1D4C8, 16, 10)) @ /^tscr$/2096 $HT2CHR($base(1D4C9, 16, 10)) @ /^uscr$/2097 $HT2CHR($base(1D4CA, 16, 10)) @ /^vscr$/2098 $HT2CHR($base(1D4CB, 16, 10)) @ /^wscr$/2099 $HT2CHR($base(1D4CC, 16, 10)) @ /^xscr$/2100 $HT2CHR($base(1D4CD, 16, 10)) @ /^yscr$/2101 $HT2CHR($base(1D4CE, 16, 10)) @ /^zscr$/2102 $HT2CHR($base(1D4CF, 16, 10)) @ /^Afr$/2103 $HT2CHR($base(1D504, 16, 10)) @ /^Bfr$/2104 $HT2CHR($base(1D505, 16, 10)) @ /^Dfr$/2105 $HT2CHR($base(1D507, 16, 10)) @ /^Efr$/2106 $HT2CHR($base(1D508, 16, 10)) @ /^Ffr$/2107 $HT2CHR($base(1D509, 16, 10)) @ /^Gfr$/2108 $HT2CHR($base(1D50A, 16, 10)) @ /^Jfr$/2109 $HT2CHR($base(1D50D, 16, 10)) @ /^Kfr$/2110 $HT2CHR($base(1D50E, 16, 10)) @ /^Lfr$/2111 $HT2CHR($base(1D50F, 16, 10)) @ /^Mfr$/2112 $HT2CHR($base(1D510, 16, 10)) @ /^Nfr$/2113 $HT2CHR($base(1D511, 16, 10)) @ /^Ofr$/2114 $HT2CHR($base(1D512, 16, 10)) @ /^Pfr$/2115 $HT2CHR($base(1D513, 16, 10)) @ /^Qfr$/2116 $HT2CHR($base(1D514, 16, 10)) @ /^Sfr$/2117 $HT2CHR($base(1D516, 16, 10)) @ /^Tfr$/2118 $HT2CHR($base(1D517, 16, 10)) @ /^Ufr$/2119 $HT2CHR($base(1D518, 16, 10)) @ /^Vfr$/2120 $HT2CHR($base(1D519, 16, 10)) @ /^Wfr$/2121 $HT2CHR($base(1D51A, 16, 10)) @ /^Xfr$/2122 $HT2CHR($base(1D51B, 16, 10)) @ /^Yfr$/2123 $HT2CHR($base(1D51C, 16, 10)) @ /^afr$/2124 $HT2CHR($base(1D51E, 16, 10)) @ /^bfr$/2125 $HT2CHR($base(1D51F, 16, 10)) @ /^cfr$/2126 $HT2CHR($base(1D520, 16, 10)) @ /^dfr$/2127 $HT2CHR($base(1D521, 16, 10)) @ /^efr$/2128 $HT2CHR($base(1D522, 16, 10)) @ /^ffr$/2129 $HT2CHR($base(1D523, 16, 10)) @ /^gfr$/2130 $HT2CHR($base(1D524, 16, 10)) @ /^hfr$/2131 $HT2CHR($base(1D525, 16, 10)) @ /^ifr$/2132 $HT2CHR($base(1D526, 16, 10)) @ /^jfr$/2133 $HT2CHR($base(1D527, 16, 10)) @ /^kfr$/2134 $HT2CHR($base(1D528, 16, 10)) @ /^lfr$/2135 $HT2CHR($base(1D529, 16, 10)) @ /^mfr$/2136 $HT2CHR($base(1D52A, 16, 10)) @ /^nfr$/2137 $HT2CHR($base(1D52B, 16, 10)) @ /^ofr$/2138 $HT2CHR($base(1D52C, 16, 10)) @ /^pfr$/2139 $HT2CHR($base(1D52D, 16, 10)) @ /^qfr$/2140 $HT2CHR($base(1D52E, 16, 10)) @ /^rfr$/2141 $HT2CHR($base(1D52F, 16, 10)) @ /^sfr$/2142 $HT2CHR($base(1D530, 16, 10)) @ /^tfr$/2143 $HT2CHR($base(1D531, 16, 10)) @ /^ufr$/2144 $HT2CHR($base(1D532, 16, 10)) @ /^vfr$/2145 $HT2CHR($base(1D533, 16, 10)) @ /^wfr$/2146 $HT2CHR($base(1D534, 16, 10)) @ /^xfr$/2147 $HT2CHR($base(1D535, 16, 10)) @ /^yfr$/2148 $HT2CHR($base(1D536, 16, 10)) @ /^zfr$/2149 $HT2CHR($base(1D537, 16, 10)) @ /^Aopf$/2150 $HT2CHR($base(1D538, 16, 10)) @ /^Bopf$/2151 $HT2CHR($base(1D539, 16, 10)) @ /^Dopf$/2152 $HT2CHR($base(1D53B, 16, 10)) @ /^Eopf$/2153 $HT2CHR($base(1D53C, 16, 10)) @ /^Fopf$/2154 $HT2CHR($base(1D53D, 16, 10)) @ /^Gopf$/2155 $HT2CHR($base(1D53E, 16, 10)) @ /^Iopf$/2156 $HT2CHR($base(1D540, 16, 10)) @ /^Jopf$/2157 $HT2CHR($base(1D541, 16, 10)) @ /^Kopf$/2158 $HT2CHR($base(1D542, 16, 10)) @ /^Lopf$/2159 $HT2CHR($base(1D543, 16, 10)) @ /^Mopf$/2160 $HT2CHR($base(1D544, 16, 10)) @ /^Oopf$/2161 $HT2CHR($base(1D546, 16, 10)) @ /^Sopf$/2162 $HT2CHR($base(1D54A, 16, 10)) @ /^Topf$/2163 $HT2CHR($base(1D54B, 16, 10)) @ /^Uopf$/2164 $HT2CHR($base(1D54C, 16, 10)) @ /^Vopf$/2165 $HT2CHR($base(1D54D, 16, 10)) @ /^Wopf$/2166 $HT2CHR($base(1D54E, 16, 10)) @ /^Xopf$/2167 $HT2CHR($base(1D54F, 16, 10)) @ /^Yopf$/2168 $HT2CHR($base(1D550, 16, 10)) @ /^aopf$/2169 $HT2CHR($base(1D552, 16, 10)) @ /^bopf$/2170 $HT2CHR($base(1D553, 16, 10)) @ /^copf$/2171 $HT2CHR($base(1D554, 16, 10)) @ /^dopf$/2172 $HT2CHR($base(1D555, 16, 10)) @ /^eopf$/2173 $HT2CHR($base(1D556, 16, 10)) @ /^fopf$/2174 $HT2CHR($base(1D557, 16, 10)) @ /^gopf$/2175 $HT2CHR($base(1D558, 16, 10)) @ /^hopf$/2176 $HT2CHR($base(1D559, 16, 10)) @ /^iopf$/2177 $HT2CHR($base(1D55A, 16, 10)) @ /^jopf$/2178 $HT2CHR($base(1D55B, 16, 10)) @ /^kopf$/2179 $HT2CHR($base(1D55C, 16, 10)) @ /^lopf$/2180 $HT2CHR($base(1D55D, 16, 10)) @ /^mopf$/2181 $HT2CHR($base(1D55E, 16, 10)) @ /^nopf$/2182 $HT2CHR($base(1D55F, 16, 10)) @ /^oopf$/2183 $HT2CHR($base(1D560, 16, 10)) @ /^popf$/2184 $HT2CHR($base(1D561, 16, 10)) @ /^qopf$/2185 $HT2CHR($base(1D562, 16, 10)) @ /^ropf$/2186 $HT2CHR($base(1D563, 16, 10)) @ /^sopf$/2187 $HT2CHR($base(1D564, 16, 10)) @ /^topf$/2188 $HT2CHR($base(1D565, 16, 10)) @ /^uopf$/2189 $HT2CHR($base(1D566, 16, 10)) @ /^vopf$/2190 $HT2CHR($base(1D567, 16, 10)) @ /^wopf$/2191 $HT2CHR($base(1D568, 16, 10)) @ /^xopf$/2192 $HT2CHR($base(1D569, 16, 10)) @ /^yopf$/2193 $HT2CHR($base(1D56A, 16, 10)) @ /^zopf$/2194 $HT2CHR($base(1D56B, 16, 10)) @ /^b\.Gamma$/2195 $HT2CHR($base(1D6AA, 16, 10)) @ /^b\.Delta$/2196 $HT2CHR($base(1D6AB, 16, 10)) @ /^b\.Theta$/2197 $HT2CHR($base(1D6AF, 16, 10)) @ /^b\.Lambda$/2198 $HT2CHR($base(1D6B2, 16, 10)) @ /^b\.Xi$/2199 $HT2CHR($base(1D6B5, 16, 10)) @ /^b\.Pi$/2200 $HT2CHR($base(1D6B7, 16, 10)) @ /^b\.Sigma$/2201 $HT2CHR($base(1D6BA, 16, 10)) @ /^b\.Upsi$/2202 $HT2CHR($base(1D6BC, 16, 10)) @ /^b\.Phi$/2203 $HT2CHR($base(1D6BD, 16, 10)) @ /^b\.Psi$/2204 $HT2CHR($base(1D6BF, 16, 10))
  124.     dotokadd /^b\.Omega$/2205 $HT2CHR($base(1D6C0, 16, 10)) @ /^b\.alpha$/2206 $HT2CHR($base(1D6C2, 16, 10)) @ /^b\.beta$/2207 $HT2CHR($base(1D6C3, 16, 10)) @ /^b\.gamma$/2208 $HT2CHR($base(1D6C4, 16, 10)) @ /^b\.delta$/2209 $HT2CHR($base(1D6C5, 16, 10)) @ /^b\.epsi$/2210 $HT2CHR($base(1D6C6, 16, 10)) @ /^b\.zeta$/2211 $HT2CHR($base(1D6C7, 16, 10)) @ /^b\.eta$/2212 $HT2CHR($base(1D6C8, 16, 10)) @ /^b\.thetas$/2213 $HT2CHR($base(1D6C9, 16, 10)) @ /^b\.iota$/2214 $HT2CHR($base(1D6CA, 16, 10)) @ /^b\.kappa$/2215 $HT2CHR($base(1D6CB, 16, 10)) @ /^b\.lambda$/2216 $HT2CHR($base(1D6CC, 16, 10)) @ /^b\.mu$/2217 $HT2CHR($base(1D6CD, 16, 10)) @ /^b\.nu$/2218 $HT2CHR($base(1D6CE, 16, 10)) @ /^b\.xi$/2219 $HT2CHR($base(1D6CF, 16, 10)) @ /^b\.pi$/2220 $HT2CHR($base(1D6D1, 16, 10)) @ /^b\.rho$/2221 $HT2CHR($base(1D6D2, 16, 10)) @ /^b\.sigmav$/2222 $HT2CHR($base(1D6D3, 16, 10)) @ /^b\.sigma$/2223 $HT2CHR($base(1D6D4, 16, 10)) @ /^b\.tau$/2224 $HT2CHR($base(1D6D5, 16, 10)) @ /^b\.upsi$/2225 $HT2CHR($base(1D6D6, 16, 10)) @ /^b\.phi$/2226 $HT2CHR($base(1D6D7, 16, 10)) @ /^b\.chi$/2227 $HT2CHR($base(1D6D8, 16, 10)) @ /^b\.psi$/2228 $HT2CHR($base(1D6D9, 16, 10)) @ /^b\.omega$/2229 $HT2CHR($base(1D6DA, 16, 10)) @ /^b\.epsiv$/2230 $HT2CHR($base(1D6DC, 16, 10)) @ /^b\.thetav$/2231 $HT2CHR($base(1D6DD, 16, 10)) @ /^b\.kappav$/2232 $HT2CHR($base(1D6DE, 16, 10)) @ /^b\.phiv$/2233 $HT2CHR($base(1D6DF, 16, 10)) @ /^b\.rhov$/2234 $HT2CHR($base(1D6E0, 16, 10)) @ /^b\.piv$/2235 $HT2CHR($base(1D6E1, 16, 10)) @ /^b\.Gammad$/2236 $HT2CHR($base(1D7CA, 16, 10)) @ /^b\.gammad$/2237 $HT2CHR($base(1D7CB, 16, 10))
  125.     hadd html_entities /^commat$/31 @
  126.   }
  127. }
  128. alias dotokadd tokenize 64 $1- | hadd html_entities $*
  129. alias HT2CHR {
  130.   if ($version >= 7) || ($1 <= 255) returnex $chr($1)
  131.   else {
  132.     if ($1 >= 256) && ($1 < 2048) returnex $chr($calc(192 + $int($calc($1 / 64)))) $+ $chr($calc(128 + ($1 % 64)))
  133.     elseif ($1 >= 2048) && ($1 < 65536) returnex $+($chr($calc(224 +  $int($calc($1 / 4096)))),$chr($calc(128 + ($int($calc($1 / 64)) % 64))),$chr($calc(128 + ($1 % 64))))
  134.     elseif ($1 >= 65536) && ($1 < 2097152) returnex $+($chr($calc(240 +  $int($calc($1 / 262144)))),$chr($calc(128 + ($int($calc($1 / 4096)) % 64))),$chr($calc(128 + ($int($calc($1 / 64)) % 64))),$chr($calc(128 + ($1 % 64))))
  135.   }
  136. }
  137. alias HT_GET {
  138.   if (#x* iswm $1) return $HT2CHR($base($mid($1, 3), 16, 10))
  139.   elseif (#* iswm $1) return $HT2CHR($mid($1, 2))
  140.   if ($hget(html_entities, $hfind(html_entities, $1, 1, R)) != $null) return $v1
  141.   return & $+ $1;
  142. }
  143. alias html2ascii {
  144.   if (!$hget(html_entities)) || (($prop == unicode) && (!$hget(html_entities,unicode))) mkHtmlTbl $prop
  145.   return $regsubex(~, $1, /&(.+);/Ug, $HT_GET(\1))
  146. }
  147. dialog checkver {
  148.   title "mIRC Update"
  149.   size -1 -1 515 377
  150.   text "Installed version:", 9, 12 13 90 14
  151.   text "Newest version:", 10, 12 35 90 14
  152.   text "", 11, 120 35 300 14
  153.   text "Changes from new version:", 12, 12 57 150 14
  154.   edit "",13, 10 75 494 230, size multi return vsbar read
  155.   link "What's new in this version?", 4, 372 55 185 14, hide
  156.   text "", 1, 120 13 50 14
  157.   check "&Check for new beta versions", 5, 12 355 157 14
  158.   button "Check for &updates", 6, 10 312 107 23
  159.   button "&OK", 7, 429 346 76 23, cancel
  160.   button "&Download now", 8, 398 312 107 23, hide ok
  161. }
  162. on *:dialog:checkver:*:*:{
  163.   if ($devent == init) {
  164.     did -fa $dname 1 $iif($beta,$+($version,.,$beta),$version)
  165.     if (%check.beta) { did -c $dname 5 }
  166.   }
  167.   elseif ($devent == sclick) {
  168.     if ($did == 4) { url -an %url.news }
  169.     elseif ($did == 5) { sdt check.beta }
  170.     elseif ($did == 6) { StartVersion }
  171.     elseif ($did == 8) { url -an %url.get }
  172.   }
  173.   elseif ($devent == close) { unset %url.get %url.news }
  174. }
  175.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!