Skip to content

Instantly share code, notes, and snippets.

@michal-h21
Created November 19, 2018 22:59
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save michal-h21/01463a4ae552802fa6b9469c6399ef6e to your computer and use it in GitHub Desktop.
Save michal-h21/01463a4ae552802fa6b9469c6399ef6e to your computer and use it in GitHub Desktop.
% tex {nameofthefile.tex}
%
% Copyright (C) 2018 TeX Users Group
\input tex4ht.sty
\Preamble{xhtml,th4,sections+}
\EndPreamble
\input ProTex.sty
%\AlProTex{c,<<<>>>,`,title,list,ClearCode,_^}
\AlProTex{c,<<<>>>,`,title,list,`,ClearCode,_^}
\def\HOME{./tex4ht.dir/}
\def\DTDS{./dtd.dir/}
\def\SOURCE{./html.dir/}
\def\MYdir{\HOME texmf/tex4ht/ht-fonts}
\newwrite\dbcs
\newwrite\unicode
\def\AddFont{\futurelet\ext\AddFontA}
\def\AddFontA{%
\if [\ext \def\ext[##1]{\def\ext{##1}\AddFontB}%
\else \def\ext{\def\ext{htf}\AddFontB}\fi
\ext}
\def\AddFontB#1#2{%
\Comment{}{}\OutputCode[\ext]\<#1\>%
\let\StartDir=\empty \def\EndDir{#2}\MakeDir
\ifx \WWWdir\Undef \else
\Needs{"cp #1.\ext\space \WWWdir /#2.\ext"}%
\Needs{"chmod 644 \WWWdir /#2.\ext"}%
\fi
\Needs{"mv #1.\ext\space \MYdir /#2.\ext"}%
}
\def\MakeDir{\relax
\expandafter \ifx \csname !\StartDir\endcsname\relax
\expandafter\let\csname !\StartDir\endcsname=\empty
\Needs{"mkdir -p \MYdir/\StartDir"}%
\ifx \WWWdir\Undef \else
\Needs{"mkdir -p \MYdir/\StartDir"}%
\Needs{"chmod 711 \WWWdir /StartDir"}%
\fi
\fi
\ifx \EndDir\empty \else
\expandafter\AppendDir \EndDir////*%
\expandafter\MakeDir
\fi
}
\def\AppendDir#1/#2/#3/*{%
\def\temp{#2}\ifx \temp\empty \let\EndDir=\empty
\else
\edef\StartDir{\ifx \StartDir\empty\else \StartDir/\fi
#1}\def\EndDir{#2/#3}%
\fi
}
load font txr
% writing ntxmia.htf hash: 692b8360e999b1a0b6f0081c877a2663
\<ntxmia\><<<
ntxmia 0 255
'&#x0393;' '' Gamma 0
'&#x2206;' '' Delta 1
'&#x0398;' '' Theta 2
'&#x039B;' '' Lambda 3
'&#x039E;' '' Xi 4
'&#x03A0;' '' Pi 5
'&#x03A3;' '' Sigma 6
'&#x03A5;' '' Upsilon 7
'&#x03A6;' '' Phi 8
'&#x03A8;' '' Psi 9
'&#x2126;' '' Omega 10
'&#x03B1;' '' alpha 11
'&#x03B2;' '' beta 12
'&#x03B3;' '' gamma 13
'&#x03B4;' '' delta 14
'&#x03F5;' '' epsilon1 15
'&#x03B6;' '' zeta 16
'&#x03B7;' '' eta 17
'&#x03B8;' '' theta 18
'&#x03B9;' '' iota 19
'&#x03BA;' '' kappa 20
'&#x03BB;' '' lambda 21
'&#x00B5;' '' mu 22
'&#x03BD;' '' nu 23
'&#x03BE;' '' xi 24
'&#x03C0;' '' pi 25
'&#x03C1;' '' rho 26
'&#x03C3;' '' sigma 27
'&#x03C4;' '' tau 28
'&#x03C5;' '' upsilon 29
'&#x03D5;' '' phi 30
'&#x03C7;' '' chi 31
'&#x03C8;' '' psi 32
'&#x03C9;' '' omega 33
'&#x03B5;' '' epsilon 34
'&#x03D1;' '' theta1 35
'&#x03D6;' '' pi1 36
'&#x03F1;' '' rho1 37
'&#x03C2;' '' sigma1 38
'&#x03C6;' '' phi1 39
'' ''
'' '' kappa1 41
'' '' kappa1up 42
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' '' g1 49
'' '' y1 50
'' '' v1 51
'' '' w1 52
'y' '' y 53
'&#xb;' '' npropersubset 54
'' '' npropersuperset 55
'' '' nelement 56
'' '' nowner 57
'&#xa;' '' colonequal 58
'&#xa;' '' equalcolon 59
'&#xa;' '' nequal 60
'=' '' equal 61
'{' '' braceleft 62
'}' '' braceright 63
'&#x2202;' '' partialdiff 64
'A' '' A 65
'B' '' B 66
'C' '' C 67
'D' '' D 68
'E' '' E 69
'F' '' F 70
'G' '' G 71
'H' '' H 72
'I' '' I 73
'J' '' J 74
'K' '' K 75
'L' '' L 76
'M' '' M 77
'N' '' N 78
'O' '' O 79
'P' '' P 80
'Q' '' Q 81
'R' '' R 82
'S' '' S 83
'T' '' T 84
'U' '' U 85
'V' '' V 86
'W' '' W 87
'X' '' X 88
'Y' '' Y 89
'Z' '' Z 90
'&#x2200;' '' universal 91
'&#x2203;' '' existential 92
'&#x02204;' '' nexists 93
'&#x2205;' '' emptyset 94
'&#x2205;' '' emptyset 95
'|' '' bar 96
'a' '' a 97
'b' '' b 98
'c' '' c 99
'd' '' d 100
'e' '' e 101
'f' '' f 102
'g' '' g 103
'h' '' h 104
'i' '' i 105
'j' '' j 106
'k' '' k 107
'l' '' l 108
'm' '' m 109
'n' '' n 110
'o' '' o 111
'p' '' p 112
'q' '' q 113
'r' '' r 114
's' '' s 115
't' '' t 116
'u' '' u 117
'v' '' v 118
'w' '' w 119
'x' '' x 120
'y' '' y 121
'z' '' z 122
'(' '' parenleft 123
')' '' parenright 124
'(' '' parenleft 125
')' '' parenright 126
'&#x2040;' '' tie 127
'&#x2225;' '' bardbl 128
'&#x1D538;' '' bbA 129
'&#x1D539;' '' bbB 130
'&#x02102;' '' bbC 131
'&#x1D53B;' '' bbD 132
'&#x1D53C;' '' bbE 133
'&#x1D53D;' '' bbF 134
'&#x1D53E;' '' bbG 135
'&#x0210D;' '' bbH 136
'&#x1D540;' '' bbI 137
'&#x1D541;' '' bbJ 138
'&#x1D542;' '' bbK 139
'&#x1D543;' '' bbL 140
'&#x1D544;' '' bbM 141
'&#x02115;' '' bbN 142
'&#x1D546;' '' bbO 143
'&#x02119;' '' bbP 144
'&#x0211A;' '' bbQ 145
'&#x0211D;' '' bbR 146
'&#x1D54A;' '' bbS 147
'&#x1D54B;' '' bbT 148
'&#x1D54C;' '' bbU 149
'&#x1D54D;' '' bbV 150
'&#x1D54E;' '' bbW 151
'&#x1D54F;' '' bbX 152
'&#x1D550;' '' bbY 153
'&#x02124;' '' bbZ 154
'(' '' parenleft 155
')' '' parenright 156
'[' '' bracketleft 157
']' '' bracketright 158
'&#x230A;' '' floorleft 159
'&#x230B;' '' floorright 160
'&#x2308;' '' ceilingleft 161
'&#x2309;' '' ceilingright 162
'{' '' braceleft 163
'}' '' braceright 164
'&#x27E8;' '' angbracketleft 165
'&#x27E9;' '' angbracketright 166
'&#x2195;' '' arrowbothv 167
'&#x21D5;' '' arrowdblbothv 168
'&#x1D55C;' '' bbk 169
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'0' '' zero 176
'1' '' one 177
'2' '' two 178
'3' '' three 179
'4' '' four 180
'5' '' five 181
'6' '' six 182
'7' '' seven 183
'8' '' eight 184
'9' '' nine 185
'&#x02C7;' '' caron 186
'&#x02D8;' '' breve 187
'' ''
'' ''
'' ''
'' ''
'' ''
'A' '' A 193
'B' '' B 194
'C' '' C 195
'D' '' D 196
'E' '' E 197
'F' '' F 198
'G' '' G 199
'H' '' H 200
'I' '' I 201
'J' '' J 202
'K' '' K 203
'L' '' L 204
'M' '' M 205
'N' '' N 206
'O' '' O 207
'P' '' P 208
'Q' '' Q 209
'R' '' R 210
'S' '' S 211
'T' '' T 212
'U' '' U 213
'V' '' V 214
'W' '' W 215
'X' '' X 216
'Y' '' Y 217
'Z' '' Z 218
'&#x02DC;' '' tilde 219
'&#x00A8;' '' dieresis 220
'&#x00AF;' '' macron 221
'&#x02DA;' '' ring 222
'&#x02C6;' '' circumflex 223
'&#x02D9;' '' dotaccent 224
'a' '' a 225
'b' '' b 226
'c' '' c 227
'd' '' d 228
'e' '' e 229
'f' '' f 230
'g' '' g 231
'h' '' h 232
'i' '' i 233
'j' '' j 234
'k' '' k 235
'l' '' l 236
'm' '' m 237
'n' '' n 238
'o' '' o 239
'p' '' p 240
'q' '' q 241
'r' '' r 242
's' '' s 243
't' '' t 244
'u' '' u 245
'v' '' v 246
'w' '' w 247
'x' '' x 248
'y' '' y 249
'z' '' z 250
'&#x27E6;' '' dblbracketleft 251
'&#x27E7;' '' dblbracketright 252
'+' '' plus 253
'&#x60;' '' grave 254
'&#x00B4;' '' acute 255
ntxmia 0 255
htfcss: ntxmia font-family: 'txmia', serif;
>>>
\AddFont{ntxmia}{unicode/txmia/ntxmia}{}
Missing glyph kappa1
Missing glyph kappa1up
Missing glyph g1
Missing glyph y1
Missing glyph v1
Missing glyph w1
Missing glyph npropersuperset
Missing glyph nelement
Missing glyph nowner
% writing ntxmia.htf hash: 692b8360e999b1a0b6f0081c877a2663
\<ntxmia\><<<
.ntxmia
htfcss: ntxmia font-family: 'txmia', serif;
>>>
\AddFont{ntxmia}{alias/txmia/ntxmia}{}
Missing glyph kappa1
Missing glyph kappa1up
Missing glyph g1
Missing glyph y1
Missing glyph v1
Missing glyph w1
Missing glyph npropersuperset
Missing glyph nelement
Missing glyph nowner
% writing ntxmia.htf hash: 692b8360e999b1a0b6f0081c877a2663
\<ntxmia\><<<
.ntxmia
htfcss: ntxmia font-family: 'txmia', serif;
>>>
\AddFont{ntxmia}{alias/txmia/ntxmia}{}
Missing glyph kappa1
Missing glyph kappa1up
Missing glyph g1
Missing glyph y1
Missing glyph v1
Missing glyph w1
Missing glyph npropersuperset
Missing glyph nelement
Missing glyph nowner
% writing ntxexx.htf hash: 216cc180104d87840168c37a291f13b3
\<ntxexx\><<<
ntxexx 0 224
'(' '' parenleftbig 0
')' '' parenrightbig 1
'[' '' bracketleftbig 2
']' '' bracketrightbig 3
'&#x230A;' '' floorleftbig 4
'&#x230B;' '' floorrightbig 5
'&#x2308;' '' ceilingleftbig 6
'&#x2309;' '' ceilingrightbig 7
'{' '' braceleftbig 8
'}' '' bracerightbig 9
'&#x2329;' '' angbracketleftbig 10
'&#x232A;' '' angbracketrightbig 11
'|' '' barex 12
'&#x2016;' '' bardblex 13
'&#x2215;' '' slashbig 14
'\' '' backslashbig 15
'(' '' parenleftBig 16
')' '' parenrightBig 17
'(' '' parenleftbigg 18
')' '' parenrightbigg 19
'[' '' bracketleftbigg 20
']' '' bracketrightbigg 21
'&#x230A;' '' floorleftbigg 22
'&#x230B;' '' floorrightbigg 23
'&#x2308;' '' ceilingleftbigg 24
'&#x2309;' '' ceilingrightbigg 25
'{' '' braceleftbigg 26
'}' '' bracerightbigg 27
'&#x2329;' '' angbracketleftbigg 28
'&#x232A;' '' angbracketrightbigg 29
'&#x2215;' '' slashbigg 30
'\' '' backslashbigg 31
'(' '' parenleftBigg 32
')' '' parenrightBigg 33
'[' '' bracketleftBigg 34
']' '' bracketrightBigg 35
'&#x230A;' '' floorleftBigg 36
'&#x230B;' '' floorrightBigg 37
'&#x2308;' '' ceilingleftBigg 38
'&#x2309;' '' ceilingrightBigg 39
'{' '' braceleftBigg 40
'}' '' bracerightBigg 41
'&#x2329;' '' angbracketleftBigg 42
'&#x232A;' '' angbracketrightBigg 43
'&#x2215;' '' slashBigg 44
'\' '' backslashBigg 45
'&#x2215;' '' slashBig 46
'\' '' backslashBig 47
'' '' parenlefttp 48
'' '' parenrighttp 49
'' '' bracketlefttp 50
'' '' bracketrighttp 51
'' '' bracketleftbt 52
'' '' bracketrightbt 53
'' '' bracketleftex 54
'' '' bracketrightex 55
'' '' bracelefttp 56
'' '' bracerighttp 57
'' '' braceleftbt 58
'' '' bracerightbt 59
'|' '' braceleftmid 60
'&#x2016;' '' bracerightmid 61
'|' '' braceex 62
'&#x2195;' '' arrowvertex 63
'' '' parenleftbt 64
'' '' parenrightbt 65
'|' '' parenleftex 66
'|' '' parenrightex 67
'&#x2329;' '' angbracketleftBig 68
'&#x232A;' '' angbracketrightBig 69
'&#x2294;' '' unionsqtext 70
'&#x2294;' '' unionsqdisplay 71
'&#x222E;' '' contintegraltext 72
'&#x222E;' '' contintegraldisplay 73
'&#x2299;' '' circledottext 74
'&#x2299;' '' circledotdisplay 75
'&#x2295;' '' circleplustext 76
'&#x2295;' '' circleplusdisplay 77
'&#x2297;' '' circlemultiplytext 78
'&#x2297;' '' circlemultiplydisplay 79
'&#x2211;' '' summationtext 80
'&#x220F;' '' producttext 81
'&#x222B;' '' integraltext 82
'&#x22C3;' '' uniontext 83
'&#x22C2;' '' intersectiontext 84
'&#x228E;' '' unionmultitext 85
'&#x22C0;' '' logicalandtext 86
'&#x22C1;' '' logicalortext 87
'&#x2211;' '' summationdisplay 88
'&#x220F;' '' productdisplay 89
'&#x222B;' '' integraldisplay 90
'&#x22C3;' '' uniondisplay 91
'&#x22C2;' '' intersectiondisplay 92
'&#x228E;' '' unionmultidisplay 93
'&#x22C0;' '' logicalanddisplay 94
'&#x22C1;' '' logicalordisplay 95
'&#x2210;' '' coproducttext 96
'&#x2210;' '' coproductdisplay 97
'&#x0302;' '' hatwide 98
'&#x0302;' '' hatwider 99
'&#x0302;' '' hatwidest 100
'&#x0303;' '' tildewide 101
'&#x0303;' '' tildewider 102
'&#x02DC;' '' tildewidest 103
'[' '' bracketleftBig 104
']' '' bracketrightBig 105
'&#x230A;' '' floorleftBig 106
'&#x230B;' '' floorrightBig 107
'&#x2308;' '' ceilingleftBig 108
'&#x2309;' '' ceilingrightBig 109
'{' '' braceleftBig 110
'}' '' bracerightBig 111
'&#x221A;' '' radicalbig 112
'&#x221A;' '' radicalBig 113
'&#x221A;' '' radicalbigg 114
'&#x221A;' '' radicalBigg 115
'&#x221A;' '' radicalbt 116
'&#x221A;' '' radicalvertex 117
'&#x221A;' '' radicaltp 118
'' '' arrowvertexdbl 119
'&#x2191;' '' arrowtp 120
'&#x2193;' '' arrowbt 121
'&#xFE37;' '' bracehtipdownleft 122
'&#xFE37;' '' bracehtipdownright 123
'&#xFE38;' '' bracehtipupleft 124
'&#xFE38;' '' bracehtipupright 125
'&#x21D1;' '' arrowdbltp 126
'' '' arrowdblbt 127
'(' '' parenleft 128
')' '' parenright 129
'[' '' bracketleft 130
']' '' bracketright 131
'' '' bracketleftbigx 132
'' '' bracketrightbigx 133
'' '' floorleftbigx 134
'' '' floorrightbigx 135
'' '' ceilingleftbigx 136
'' '' ceilingrightbigx 137
'' '' braceleftbigx 138
'' '' bracerightbigx 139
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' '' hat4 154
'' '' hat5 155
'' '' hat6 156
'' '' tilde4 157
'' '' tilde5 158
'' '' tilde6 159
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' '' parenlefttpA 169
'' '' parenrighttpA 170
'' '' parenleftbtA 171
'' '' parenrightbtA 172
'' '' parenleftexA 173
'' '' parenrightexA 174
'&#x222B;' '' uni222B 175
'&#x222C;' '' uni222C 176
'&#x222D;' '' uni222D 177
'&#x222E;' '' uni222E 178
'&#x222F;' '' uni222F 179
'&#x222B;' '' uni222B.up 180
'&#x222C;' '' uni222C.up 181
'&#x222D;' '' uni222D.up 182
'&#x222E;' '' uni222E.up 183
'&#x222F;' '' uni222F.up 184
'&#x222B;' '' uni222B.dsp 185
'&#x222C;' '' uni222C.dsp 186
'&#x222D;' '' uni222D.dsp 187
'&#x222E;' '' uni222E.dsp 188
'&#x222F;' '' uni222F.dsp 189
'&#x222B;' '' uni222B.updsp 190
'&#x222C;' '' uni222C.updsp 191
'&#x222D;' '' uni222D.updsp 192
'&#x222E;' '' uni222E.updsp 193
'&#x222F;' '' uni222F.updsp 194
'&#x2294;' '' unionsqtext.1 195
'&#x2294;' '' unionsqdisplay.1 196
'' ''
'' ''
'&#x2299;' '' circledottext.1 199
'&#x2299;' '' circledotdisplay.1 200
'&#x2295;' '' circleplustext.1 201
'&#x2295;' '' circleplusdisplay.1 202
'&#x2297;' '' circlemultiplytext.1 203
'&#x2297;' '' circlemultiplydisplay.1 204
'&#x2211;' '' summationtext.1 205
'&#xc;' '' producttext.1 206
'' '' cupdottext.1 207
'&#x22C3;' '' uniontext.1 208
'&#x22C2;' '' intersectiontext.1 209
'&#x228E;' '' unionmultitext.1 210
'&#x22C0;' '' logicalandtext.1 211
'&#x22C1;' '' logicalortext.1 212
'&#x2211;' '' summationdisplay.1 213
'&#xc;' '' productdisplay.1 214
'' '' cupdotdisplay.1 215
'&#x22C3;' '' uniondisplay.1 216
'&#x22C2;' '' intersectiondisplay.1 217
'&#x228E;' '' unionmultidisplay.1 218
'&#x22C0;' '' logicalanddisplay.1 219
'&#x22C1;' '' logicalordisplay.1 220
'&#xc;' '' coproducttext.1 221
'&#xc;' '' coproductdisplay.1 222
'' '' cupdottext 223
'' '' cupdotdisplay 224
ntxexx 0 224
htfcss: ntxexx font-family: 'txexs', serif;
>>>
\AddFont{ntxexx}{unicode/txexs/ntxexx}{}
Missing glyph parenlefttp
Missing glyph parenrighttp
Missing glyph bracketlefttp
Missing glyph bracketrighttp
Missing glyph bracketleftbt
Missing glyph bracketrightbt
Missing glyph bracketleftex
Missing glyph bracketrightex
Missing glyph bracelefttp
Missing glyph bracerighttp
Missing glyph braceleftbt
Missing glyph bracerightbt
Missing glyph parenleftbt
Missing glyph parenrightbt
Missing glyph arrowvertexdbl
Missing glyph arrowdblbt
Missing glyph bracketleftbigx
Missing glyph bracketrightbigx
Missing glyph floorleftbigx
Missing glyph floorrightbigx
Missing glyph ceilingleftbigx
Missing glyph ceilingrightbigx
Missing glyph braceleftbigx
Missing glyph bracerightbigx
Missing glyph hat4
Missing glyph hat5
Missing glyph hat6
Missing glyph tilde4
Missing glyph tilde5
Missing glyph tilde6
Missing glyph parenlefttpA
Missing glyph parenrighttpA
Missing glyph parenleftbtA
Missing glyph parenrightbtA
Missing glyph parenleftexA
Missing glyph parenrightexA
Missing glyph cupdottext.1
Missing glyph cupdotdisplay.1
Missing glyph cupdottext
Missing glyph cupdotdisplay
% writing ntxexx.htf hash: 216cc180104d87840168c37a291f13b3
\<ntxexx\><<<
.ntxexx
htfcss: ntxexx font-family: 'txexs', serif;
>>>
\AddFont{ntxexx}{alias/txexs/ntxexx}{}
Missing glyph parenlefttp
Missing glyph parenrighttp
Missing glyph bracketlefttp
Missing glyph bracketrighttp
Missing glyph bracketleftbt
Missing glyph bracketrightbt
Missing glyph bracketleftex
Missing glyph bracketrightex
Missing glyph bracelefttp
Missing glyph bracerighttp
Missing glyph braceleftbt
Missing glyph bracerightbt
Missing glyph parenleftbt
Missing glyph parenrightbt
Missing glyph arrowvertexdbl
Missing glyph arrowdblbt
Missing glyph bracketleftbigx
Missing glyph bracketrightbigx
Missing glyph floorleftbigx
Missing glyph floorrightbigx
Missing glyph ceilingleftbigx
Missing glyph ceilingrightbigx
Missing glyph braceleftbigx
Missing glyph bracerightbigx
Missing glyph hat4
Missing glyph hat5
Missing glyph hat6
Missing glyph tilde4
Missing glyph tilde5
Missing glyph tilde6
Missing glyph parenlefttpA
Missing glyph parenrighttpA
Missing glyph parenleftbtA
Missing glyph parenrightbtA
Missing glyph parenleftexA
Missing glyph parenrightexA
Missing glyph cupdottext.1
Missing glyph cupdotdisplay.1
Missing glyph cupdottext
Missing glyph cupdotdisplay
% writing ntxexx.htf hash: 216cc180104d87840168c37a291f13b3
\<ntxexx\><<<
.ntxexx
htfcss: ntxexx font-family: 'txexs', serif;
>>>
\AddFont{ntxexx}{alias/txexs/ntxexx}{}
Missing glyph parenlefttp
Missing glyph parenrighttp
Missing glyph bracketlefttp
Missing glyph bracketrighttp
Missing glyph bracketleftbt
Missing glyph bracketrightbt
Missing glyph bracketleftex
Missing glyph bracketrightex
Missing glyph bracelefttp
Missing glyph bracerighttp
Missing glyph braceleftbt
Missing glyph bracerightbt
Missing glyph parenleftbt
Missing glyph parenrightbt
Missing glyph arrowvertexdbl
Missing glyph arrowdblbt
Missing glyph bracketleftbigx
Missing glyph bracketrightbigx
Missing glyph floorleftbigx
Missing glyph floorrightbigx
Missing glyph ceilingleftbigx
Missing glyph ceilingrightbigx
Missing glyph braceleftbigx
Missing glyph bracerightbigx
Missing glyph hat4
Missing glyph hat5
Missing glyph hat6
Missing glyph tilde4
Missing glyph tilde5
Missing glyph tilde6
Missing glyph parenlefttpA
Missing glyph parenrighttpA
Missing glyph parenleftbtA
Missing glyph parenrightbtA
Missing glyph parenleftexA
Missing glyph parenrightexA
Missing glyph cupdottext.1
Missing glyph cupdotdisplay.1
Missing glyph cupdottext
Missing glyph cupdotdisplay
% writing ntxsy5.htf hash: 0966adc24afc3c8a7c0e2f6115c0501b
\<ntxsy5\><<<
ntxsy5 0 222
'&#x2212;' '' minus 0
'&#x00B7;' '' periodcentered 1
'&#x00D7;' '' multiply 2
'&#x2217;' '' asteriskmath 3
'&#x00F7;' '' divide 4
'&#x22C4;' '' diamondmath 5
'&#x00B1;' '' plusminus 6
'&#x2213;' '' minusplus 7
'&#x2295;' '' circleplus 8
'&#x2296;' '' circleminus 9
'&#x2297;' '' circlemultiply 10
'&#x2298;' '' circledivide 11
'&#x2299;' '' circledot 12
'&#x20DD;' '' circlecopyrt 13
'&#x25E6;' '' openbullet 14
'&#x2022;' '' bullet 15
'&#x224D;' '' equivasymptotic 16
'&#x2261;' '' equivalence 17
'&#x2286;' '' reflexsubset 18
'&#x2287;' '' reflexsuperset 19
'&#x2264;' '' lessequal 20
'&#x2265;' '' greaterequal 21
'&#x227C;' '' precedesequal 22
'&#x227D;' '' followsequal 23
'&#x223C;' '' similar 24
'&#x2248;' '' approxequal 25
'&#x2282;' '' propersubset 26
'&#x2283;' '' propersuperset 27
'&#x226A;' '' lessmuch 28
'&#x226B;' '' greatermuch 29
'&#x227A;' '' precedes 30
'&#x227B;' '' follows 31
'&#x2190;' '' arrowleft 32
'&#x2192;' '' arrowright 33
'&#x2191;' '' arrowup 34
'&#x2193;' '' arrowdown 35
'&#x2194;' '' arrowboth 36
'&#x2197;' '' arrownortheast 37
'&#x2198;' '' arrowsoutheast 38
'&#x2243;' '' similarequal 39
'&#x21D0;' '' arrowdblleft 40
'&#x21D2;' '' arrowdblright 41
'&#x21D1;' '' arrowdblup 42
'&#x21D3;' '' arrowdbldown 43
'&#x21D4;' '' arrowdblboth 44
'&#x2196;' '' arrownorthwest 45
'&#x2199;' '' arrowsouthwest 46
'&#x221D;' '' proportional 47
'&#x2032;' '' prime 48
'&#x221E;' '' infinity 49
'&#x2208;' '' element 50
'&#x220B;' '' owner 51
'&#x25B3;' '' triangle 52
'&#x25BD;' '' triangleinv 53
'&#x0338;' '' negationslash 54
'&#x021A6;' '' mapsto 55
'&#x2200;' '' universal 56
'&#x2203;' '' existential 57
'&#x00AC;' '' logicalnot 58
'&#x2205;' '' emptyset 59
'&#x211C;' '' Rfractur 60
'&#x2111;' '' Ifractur 61
'&#x22A4;' '' latticetop 62
'&#x22A5;' '' perpendicular 63
'&#x2135;' '' aleph 64
'A' '' A 65
'B' '' B 66
'C' '' C 67
'D' '' D 68
'E' '' E 69
'F' '' F 70
'G' '' G 71
'H' '' H 72
'I' '' I 73
'J' '' J 74
'K' '' K 75
'L' '' L 76
'M' '' M 77
'N' '' N 78
'O' '' O 79
'P' '' P 80
'Q' '' Q 81
'R' '' R 82
'S' '' S 83
'T' '' T 84
'U' '' U 85
'V' '' V 86
'W' '' W 87
'X' '' X 88
'Y' '' Y 89
'Z' '' Z 90
'&#x222A;' '' union 91
'&#x2229;' '' intersection 92
'&#x228E;' '' unionmulti 93
'&#x2227;' '' logicaland 94
'&#x2228;' '' logicalor 95
'&#x22A2;' '' turnstileleft 96
'&#x22A3;' '' turnstileright 97
'&#x230A;' '' floorleft 98
'&#x230B;' '' floorright 99
'&#x2308;' '' ceilingleft 100
'&#x2309;' '' ceilingright 101
'{' '' braceleft 102
'}' '' braceright 103
'&#x27E8;' '' angbracketleft 104
'&#x27E9;' '' angbracketright 105
'|' '' bar 106
'&#x2225;' '' bardbl 107
'&#x2195;' '' arrowbothv 108
'&#x21D5;' '' arrowdblbothv 109
'\' '' backslash 110
'&#x2240;' '' wreathproduct 111
'&#x221A;' '' radical 112
'&#x2A3F;' '' coproduct 113
'&#x2207;' '' nabla 114
'&#x222B;' '' integral 115
'&#x2294;' '' unionsq 116
'&#x2293;' '' intersectionsq 117
'&#x2291;' '' subsetsqequal 118
'&#x2292;' '' supersetsqequal 119
'&#x00A7;' '' section 120
'&#x2020;' '' dagger 121
'&#x2021;' '' daggerdbl 122
'&#x00B6;' '' paragraph 123
'&#x2663;' '' club 124
'&#x2662;' '' diamond 125
'&#x2661;' '' heart 126
'&#x2660;' '' spade 127
'&#x222B;' '' uni222B.sm 128
'&#x222C;' '' uni222C.sm 129
'&#x222D;' '' uni222D.sm 130
'&#x222E;' '' uni222E.sm 131
'&#x222F;' '' uni222F.sm 132
'&#x2230;' '' uni2230.sm 133
'&#x2232;' '' uni2232.sm 134
'&#x2233;' '' uni2233.sm 135
'&#x2A0B;' '' uni2A0B.sm 136
'&#x2A0C;' '' uni2A0C.sm 137
'&#x2A0F;' '' uni2A0F.sm 138
'&#x2A16;' '' uni2A16.sm 139
'&#x222B;' '' uni222B.upsm 140
'&#x222C;' '' uni222C.upsm 141
'&#x222D;' '' uni222D.upsm 142
'&#x222E;' '' uni222E.upsm 143
'&#x222F;' '' uni222F.upsm 144
'&#x2230;' '' uni2230.upsm 145
'&#x2232;' '' uni2232.upsm 146
'&#x2233;' '' uni2233.upsm 147
'&#x2A0B;' '' uni2A0B.upsm 148
'&#x2A0C;' '' uni2A0C.upsm 149
'&#x2A0F;' '' uni2A0F.upsm 150
'&#x2A16;' '' uni2A16.upsm 151
'&#xc;' '' product.sm 152
'&#x2211;' '' summation.sm 153
'&#x02204;' '' nexists 154
'' '' emptysetAlt 155
'' '' emptysetAlt2 156
'/' '' slash 157
'&#x020DB;' '' dddot 158
'&#x020DC;' '' ddddot 159
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' '' lvec 169
'' '' harpoonacc 170
'' '' lharpoonacc 171
'' '' lrvec 172
'' '' lrharpoonacc 173
'&#x020D7;' '' vec 174
'' '' arcwide 175
'' '' arcwider 176
'' '' arcwiderr 177
'' '' arcwidest 178
'' '' arcwideult 179
'' '' oarcwide 180
'' '' oarcwider 181
'' '' oarcwiderr 182
'' '' oarcwidest 183
'' '' oarcwideult 184
'(' '' parenleft 185
')' '' parenright 186
'[' '' bracketleft 187
']' '' bracketright 188
'' '' barbar 189
'' '' bartilde 190
'' '' barhat 191
'' '' tildebar 192
'' '' tildetilde 193
'' '' tildehat 194
'' '' hatbar 195
'' '' hattilde 196
'' '' hathat 197
'' ''
'' ''
'' ''
'' ''
'' ''
'' '' transpose 203
'' ''
'' ''
'' ''
'' ''
'' '' cdotB 208
'' '' cdotBB 209
'' '' smcompB 210
'' '' bulletSSS 211
'' '' bulletSS 212
'' '' bulletS 213
'' '' prime2 214
'' ''
'' ''
'' ''
'' ''
'' '' dotacc 219
'' '' ddotacc 220
'' '' dddotacc 221
'' '' ddddotacc 222
ntxsy5 0 222
htfcss: ntxsy5 font-family: 'txsys', serif;
>>>
\AddFont{ntxsy5}{unicode/txsys/ntxsy5}{}
Missing glyph emptysetAlt
Missing glyph emptysetAlt2
Missing glyph lvec
Missing glyph harpoonacc
Missing glyph lharpoonacc
Missing glyph lrvec
Missing glyph lrharpoonacc
Missing glyph arcwide
Missing glyph arcwider
Missing glyph arcwiderr
Missing glyph arcwidest
Missing glyph arcwideult
Missing glyph oarcwide
Missing glyph oarcwider
Missing glyph oarcwiderr
Missing glyph oarcwidest
Missing glyph oarcwideult
Missing glyph barbar
Missing glyph bartilde
Missing glyph barhat
Missing glyph tildebar
Missing glyph tildetilde
Missing glyph tildehat
Missing glyph hatbar
Missing glyph hattilde
Missing glyph hathat
Missing glyph transpose
Missing glyph cdotB
Missing glyph cdotBB
Missing glyph smcompB
Missing glyph bulletSSS
Missing glyph bulletSS
Missing glyph bulletS
Missing glyph prime2
Missing glyph dotacc
Missing glyph ddotacc
Missing glyph dddotacc
Missing glyph ddddotacc
% writing ntxsy7.htf hash: 0966adc24afc3c8a7c0e2f6115c0501b
\<ntxsy7\><<<
.ntxsy5
htfcss: ntxsy7 font-family: 'txsys', serif;
>>>
\AddFont{ntxsy7}{alias/txsys/ntxsy7}{}
Missing glyph emptysetAlt
Missing glyph emptysetAlt2
Missing glyph lvec
Missing glyph harpoonacc
Missing glyph lharpoonacc
Missing glyph lrvec
Missing glyph lrharpoonacc
Missing glyph arcwide
Missing glyph arcwider
Missing glyph arcwiderr
Missing glyph arcwidest
Missing glyph arcwideult
Missing glyph oarcwide
Missing glyph oarcwider
Missing glyph oarcwiderr
Missing glyph oarcwidest
Missing glyph oarcwideult
Missing glyph barbar
Missing glyph bartilde
Missing glyph barhat
Missing glyph tildebar
Missing glyph tildetilde
Missing glyph tildehat
Missing glyph hatbar
Missing glyph hattilde
Missing glyph hathat
Missing glyph transpose
Missing glyph cdotB
Missing glyph cdotBB
Missing glyph smcompB
Missing glyph bulletSSS
Missing glyph bulletSS
Missing glyph bulletS
Missing glyph prime2
Missing glyph dotacc
Missing glyph ddotacc
Missing glyph dddotacc
Missing glyph ddddotacc
% writing ntxmi5.htf hash: ed071171ae503608f8745c98d0e47d4c
\<ntxmi5\><<<
ntxmi5 0 127
'&#x0393;' '' Gamma 0
'&#x2206;' '' Delta 1
'&#x0398;' '' Theta 2
'&#x039B;' '' Lambda 3
'&#x039E;' '' Xi 4
'&#x03A0;' '' Pi 5
'&#x03A3;' '' Sigma 6
'&#x03A5;' '' Upsilon 7
'&#x03A6;' '' Phi 8
'&#x03A8;' '' Psi 9
'&#x2126;' '' Omega 10
'&#x03B1;' '' alpha 11
'&#x03B2;' '' beta 12
'&#x03B3;' '' gamma 13
'&#x03B4;' '' delta 14
'&#x03F5;' '' epsilon1 15
'&#x03B6;' '' zeta 16
'&#x03B7;' '' eta 17
'&#x03B8;' '' theta 18
'&#x03B9;' '' iota 19
'&#x03BA;' '' kappa 20
'&#x03BB;' '' lambda 21
'&#x00B5;' '' mu 22
'&#x03BD;' '' nu 23
'&#x03BE;' '' xi 24
'&#x03C0;' '' pi 25
'&#x03C1;' '' rho 26
'&#x03C3;' '' sigma 27
'&#x03C4;' '' tau 28
'&#x03C5;' '' upsilon 29
'&#x03D5;' '' phi 30
'&#x03C7;' '' chi 31
'&#x03C8;' '' psi 32
'&#x03C9;' '' omega 33
'&#x03B5;' '' epsilon 34
'&#x03D1;' '' theta1 35
'&#x03D6;' '' pi1 36
'&#x03F1;' '' rho1 37
'&#x03C2;' '' sigma1 38
'&#x03C6;' '' phi1 39
'&#x21BC;' '' arrowlefttophalf 40
'&#x21BD;' '' arrowleftbothalf 41
'&#x21C0;' '' arrowrighttophalf 42
'&#x21C1;' '' arrowrightbothalf 43
'&#x21A9;' '' arrowhookleft 44
'&#x21AA;' '' arrowhookright 45
'&#x25C3;' '' triangleright 46
'&#x25B9;' '' triangleleft 47
'0' '' zero 48
'1' '' one 49
'2' '' two 50
'3' '' three 51
'4' '' four 52
'5' '' five 53
'6' '' six 54
'7' '' seven 55
'8' '' eight 56
'9' '' nine 57
'.' '' period 58
',' '' comma 59
'&lt;' '' less 60
'/' '' slash 61
'&gt;' '' greater 62
'&#x22C6;' '' star 63
'&#x2202;' '' partialdiff 64
'A' '' A 65
'B' '' B 66
'C' '' C 67
'D' '' D 68
'E' '' E 69
'F' '' F 70
'G' '' G 71
'H' '' H 72
'I' '' I 73
'J' '' J 74
'K' '' K 75
'L' '' L 76
'M' '' M 77
'N' '' N 78
'O' '' O 79
'P' '' P 80
'Q' '' Q 81
'R' '' R 82
'S' '' S 83
'T' '' T 84
'U' '' U 85
'V' '' V 86
'W' '' W 87
'X' '' X 88
'Y' '' Y 89
'Z' '' Z 90
'&#x266D;' '' flat 91
'&#x266E;' '' natural 92
'&#x266F;' '' sharp 93
'&#x2323;' '' slurbelow 94
'&#x2322;' '' slurabove 95
'&#x2113;' '' lscript 96
'a' '' a 97
'b' '' b 98
'c' '' c 99
'd' '' d 100
'e' '' e 101
'f' '' f 102
'g' '' g 103
'h' '' h 104
'i' '' i 105
'j' '' j 106
'k' '' k 107
'l' '' l 108
'm' '' m 109
'n' '' n 110
'o' '' o 111
'p' '' p 112
'q' '' q 113
'r' '' r 114
's' '' s 115
't' '' t 116
'u' '' u 117
'v' '' v 118
'w' '' w 119
'x' '' x 120
'y' '' y 121
'z' '' z 122
'&#x0131;' '' dotlessi 123
'&#x0237;' '' dotlessj 124
'&#x2118;' '' weierstrass 125
'&#x20D7;' '' vector 126
'&#x2040;' '' tie 127
ntxmi5 0 127
htfcss: ntxmi5 font-family: 'rtxmi', serif;
>>>
\AddFont{ntxmi5}{unicode/rtxmi/ntxmi5}{}
% writing ntxmi7.htf hash: ed071171ae503608f8745c98d0e47d4c
\<ntxmi7\><<<
.ntxmi5
htfcss: ntxmi7 font-family: 'rtxmi', serif;
>>>
\AddFont{ntxmi7}{alias/rtxmi/ntxmi7}{}
load font txmi
% writing ntxmi.htf hash: ed071171ae503608f8745c98d0e47d4c
\<ntxmi\><<<
.ntxmi5
htfcss: ntxmi font-family: 'rntxmi', serif;
>>>
\AddFont{ntxmi}{alias/rntxmi/ntxmi}{}
% writing ntx-Regular-tlf-ot1.htf hash: 027d30a8760c0d83cdecd0304a240835
\<ntx-Regular-tlf-ot1\><<<
ntx-Regular-tlf-ot1 0 127
'&#x0393;' '' Gamma 0
'&#x2206;' '' Delta 1
'&#x0398;' '' Theta 2
'&#x039B;' '' Lambda 3
'&#x039E;' '' Xi 4
'&#x03A0;' '' Pi 5
'&#x03A3;' '' Sigma 6
'&#x03A5;' '' Upsilon 7
'&#x03A6;' '' Phi 8
'&#x03A8;' '' Psi 9
'&#x2126;' '' Omega 10
'&#xFB00;' '' ff 11
'&#xFB01;' '' fi 12
'&#xFB02;' '' fl 13
'&#xFB03;' '' ffi 14
'&#xFB04;' '' ffl 15
'&#x0131;' '' dotlessi 16
'&#x0237;' '' dotlessj 17
'&#x60;' '' grave 18
'&#x00B4;' '' acute 19
'&#x02C7;' '' caron 20
'&#x02D8;' '' breve 21
'&#x00AF;' '' macron 22
'&#x02DA;' '' ring 23
'&#x00B8;' '' cedilla 24
'&#x00DF;' '' germandbls 25
'&#x00E6;' '' ae 26
'&#x0153;' '' oe 27
'&#x00F8;' '' oslash 28
'&#x00C6;' '' AE 29
'&#x0152;' '' OE 30
'&#x00D8;' '' Oslash 31
' ' '' space 32
'!' '' exclam 33
'&#x201D;' '' quotedblright 34
'#' '' numbersign 35
'$' '' dollar 36
'%' '' percent 37
'&amp;' '' ampersand 38
'&#x2019;' '' quoteright 39
'(' '' parenleft 40
')' '' parenright 41
'*' '' asterisk 42
'+' '' plus 43
',' '' comma 44
'-' '' hyphen 45
'.' '' period 46
'/' '' slash 47
'0' '' zero 48
'1' '' one 49
'2' '' two 50
'3' '' three 51
'4' '' four 52
'5' '' five 53
'6' '' six 54
'7' '' seven 55
'8' '' eight 56
'9' '' nine 57
':' '' colon 58
';' '' semicolon 59
'&#x00A1;' '' exclamdown 60
'=' '' equal 61
'&#x00BF;' '' questiondown 62
'?' '' question 63
'@' '' at 64
'A' '' A 65
'B' '' B 66
'C' '' C 67
'D' '' D 68
'E' '' E 69
'F' '' F 70
'G' '' G 71
'H' '' H 72
'I' '' I 73
'J' '' J 74
'K' '' K 75
'L' '' L 76
'M' '' M 77
'N' '' N 78
'O' '' O 79
'P' '' P 80
'Q' '' Q 81
'R' '' R 82
'S' '' S 83
'T' '' T 84
'U' '' U 85
'V' '' V 86
'W' '' W 87
'X' '' X 88
'Y' '' Y 89
'Z' '' Z 90
'[' '' bracketleft 91
'&#x201C;' '' quotedblleft 92
']' '' bracketright 93
'&#x02C6;' '' circumflex 94
'&#x02D9;' '' dotaccent 95
'&#x2018;' '' quoteleft 96
'a' '' a 97
'b' '' b 98
'c' '' c 99
'd' '' d 100
'e' '' e 101
'f' '' f 102
'g' '' g 103
'h' '' h 104
'i' '' i 105
'j' '' j 106
'k' '' k 107
'l' '' l 108
'm' '' m 109
'n' '' n 110
'o' '' o 111
'p' '' p 112
'q' '' q 113
'r' '' r 114
's' '' s 115
't' '' t 116
'u' '' u 117
'v' '' v 118
'w' '' w 119
'x' '' x 120
'y' '' y 121
'z' '' z 122
'&#x2013;' '' endash 123
'&#x2014;' '' emdash 124
'&#x02DD;' '' hungarumlaut 125
'&#x02DC;' '' tilde 126
'&#x00A8;' '' dieresis 127
ntx-Regular-tlf-ot1 0 127
htfcss: ntx-Regular-tlf-ot1 font-family: 'TeXGyreTermes', serif;
>>>
\AddFont{ntx-Regular-tlf-ot1}{unicode/TeXGyreTermes/ntx-Regular-tlf-ot1}{}
% writing ntx-Regular-tlf-ot1.htf hash: 027d30a8760c0d83cdecd0304a240835
\<ntx-Regular-tlf-ot1\><<<
.ntx-Regular-tlf-ot1
htfcss: ntx-Regular-tlf-ot1 font-family: 'TeXGyreTermes', serif;
>>>
\AddFont{ntx-Regular-tlf-ot1}{alias/TeXGyreTermes/ntx-Regular-tlf-ot1}{}
% writing ntx-Regular-tlf-ot1.htf hash: 027d30a8760c0d83cdecd0304a240835
\<ntx-Regular-tlf-ot1\><<<
.ntx-Regular-tlf-ot1
htfcss: ntx-Regular-tlf-ot1 font-family: 'TeXGyreTermes', serif;
>>>
\AddFont{ntx-Regular-tlf-ot1}{alias/TeXGyreTermes/ntx-Regular-tlf-ot1}{}
% writing ntxbsy5.htf hash: cd0c941d7dc99c06beeec11b19545f4b
\<ntxbsy5\><<<
ntxbsy5 0 222
'&#x2212;' '' minus 0
'&#x00B7;' '' periodcentered 1
'&#x00D7;' '' multiply 2
'&#x2217;' '' asteriskmath 3
'&#x00F7;' '' divide 4
'&#x22C4;' '' diamondmath 5
'&#x00B1;' '' plusminus 6
'&#x2213;' '' minusplus 7
'&#x2295;' '' circleplus 8
'&#x2296;' '' circleminus 9
'&#x2297;' '' circlemultiply 10
'&#x2298;' '' circledivide 11
'&#x2299;' '' circledot 12
'&#x20DD;' '' circlecopyrt 13
'&#x25E6;' '' openbullet 14
'&#x2022;' '' bullet 15
'&#x224D;' '' equivasymptotic 16
'&#x2261;' '' equivalence 17
'&#x2286;' '' reflexsubset 18
'&#x2287;' '' reflexsuperset 19
'&#x2264;' '' lessequal 20
'&#x2265;' '' greaterequal 21
'&#x227C;' '' precedesequal 22
'&#x227D;' '' followsequal 23
'&#x223C;' '' similar 24
'&#x2248;' '' approxequal 25
'&#x2282;' '' propersubset 26
'&#x2283;' '' propersuperset 27
'&#x226A;' '' lessmuch 28
'&#x226B;' '' greatermuch 29
'&#x227A;' '' precedes 30
'&#x227B;' '' follows 31
'&#x2190;' '' arrowleft 32
'&#x2192;' '' arrowright 33
'&#x2191;' '' arrowup 34
'&#x2193;' '' arrowdown 35
'&#x2194;' '' arrowboth 36
'&#x2197;' '' arrownortheast 37
'&#x2198;' '' arrowsoutheast 38
'&#x2243;' '' similarequal 39
'&#x21D0;' '' arrowdblleft 40
'&#x21D2;' '' arrowdblright 41
'&#x21D1;' '' arrowdblup 42
'&#x21D3;' '' arrowdbldown 43
'&#x21D4;' '' arrowdblboth 44
'&#x2196;' '' arrownorthwest 45
'&#x2199;' '' arrowsouthwest 46
'&#x221D;' '' proportional 47
'&#x2032;' '' prime 48
'&#x221E;' '' infinity 49
'&#x2208;' '' element 50
'&#x220B;' '' owner 51
'&#x25B3;' '' triangle 52
'&#x25BD;' '' triangleinv 53
'&#x0338;' '' negationslash 54
'&#x021A6;' '' mapsto 55
'&#x2200;' '' universal 56
'&#x2203;' '' existential 57
'&#x00AC;' '' logicalnot 58
'&#x2205;' '' emptyset 59
'&#x211C;' '' Rfractur 60
'&#x2111;' '' Ifractur 61
'&#x22A4;' '' latticetop 62
'&#x22A5;' '' perpendicular 63
'&#x2135;' '' aleph 64
'A' '' A 65
'B' '' B 66
'C' '' C 67
'D' '' D 68
'E' '' E 69
'F' '' F 70
'G' '' G 71
'H' '' H 72
'I' '' I 73
'J' '' J 74
'K' '' K 75
'L' '' L 76
'M' '' M 77
'N' '' N 78
'O' '' O 79
'P' '' P 80
'Q' '' Q 81
'R' '' R 82
'S' '' S 83
'T' '' T 84
'U' '' U 85
'V' '' V 86
'W' '' W 87
'X' '' X 88
'Y' '' Y 89
'Z' '' Z 90
'&#x222A;' '' union 91
'&#x2229;' '' intersection 92
'&#x228E;' '' unionmulti 93
'&#x2227;' '' logicaland 94
'&#x2228;' '' logicalor 95
'&#x22A2;' '' turnstileleft 96
'&#x22A3;' '' turnstileright 97
'&#x230A;' '' floorleft 98
'&#x230B;' '' floorright 99
'&#x2308;' '' ceilingleft 100
'&#x2309;' '' ceilingright 101
'{' '' braceleft 102
'}' '' braceright 103
'&#x27E8;' '' angbracketleft 104
'&#x27E9;' '' angbracketright 105
'|' '' bar 106
'&#x2225;' '' bardbl 107
'&#x2195;' '' arrowbothv 108
'&#x21D5;' '' arrowdblbothv 109
'\' '' backslash 110
'&#x2240;' '' wreathproduct 111
'&#x221A;' '' radical 112
'&#x2A3F;' '' coproduct 113
'&#x2207;' '' nabla 114
'&#x222B;' '' integral 115
'&#x2294;' '' unionsq 116
'&#x2293;' '' intersectionsq 117
'&#x2291;' '' subsetsqequal 118
'&#x2292;' '' supersetsqequal 119
'&#x00A7;' '' section 120
'&#x2020;' '' dagger 121
'&#x2021;' '' daggerdbl 122
'&#x00B6;' '' paragraph 123
'&#x2663;' '' club 124
'&#x2662;' '' diamond 125
'&#x2661;' '' heart 126
'&#x2660;' '' spade 127
'&#x222B;' '' uni222B.sm 128
'&#x222C;' '' uni222C.sm 129
'&#x222D;' '' uni222D.sm 130
'&#x222E;' '' uni222E.sm 131
'&#x222F;' '' uni222F.sm 132
'&#x2230;' '' uni2230.sm 133
'&#x2232;' '' uni2232.sm 134
'&#x2233;' '' uni2233.sm 135
'&#x2A0B;' '' uni2A0B.sm 136
'&#x2A0C;' '' uni2A0C.sm 137
'&#x2A0F;' '' uni2A0F.sm 138
'&#x2A16;' '' uni2A16.sm 139
'&#x222B;' '' uni222B.upsm 140
'&#x222C;' '' uni222C.upsm 141
'&#x222D;' '' uni222D.upsm 142
'&#x222E;' '' uni222E.upsm 143
'&#x222F;' '' uni222F.upsm 144
'&#x2230;' '' uni2230.upsm 145
'&#x2232;' '' uni2232.upsm 146
'&#x2233;' '' uni2233.upsm 147
'&#x2A0B;' '' uni2A0B.upsm 148
'&#x2A0C;' '' uni2A0C.upsm 149
'&#x2A0F;' '' uni2A0F.upsm 150
'&#x2A16;' '' uni2A16.upsm 151
'&#xc;' '' product.sm 152
'&#x2211;' '' summation.sm 153
'&#x02204;' '' nexists 154
'' '' emptysetAlt 155
'' '' emptysetAlt2 156
'/' '' slash 157
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' ''
'' '' lvec 169
'' '' harpoonacc 170
'' '' lharpoonacc 171
'' '' lrvec 172
'' '' lrharpoonacc 173
'&#x020D7;' '' vec 174
'' '' arcwide 175
'' '' arcwider 176
'' '' arcwiderr 177
'' '' arcwidest 178
'' '' arcwideult 179
'' '' oarcwide 180
'' '' oarcwider 181
'' '' oarcwiderr 182
'' '' oarcwidest 183
'' '' oarcwideult 184
'(' '' parenleft 185
')' '' parenright 186
'[' '' bracketleft 187
']' '' bracketright 188
'' '' barbar 189
'' '' bartilde 190
'' '' barhat 191
'' '' tildebar 192
'' '' tildetilde 193
'' '' tildehat 194
'' '' hatbar 195
'' '' hattilde 196
'' '' hathat 197
'' ''
'' ''
'' ''
'' ''
'' ''
'' '' transpose 203
'' ''
'' ''
'' ''
'' ''
'' '' cdotB 208
'' '' cdotBB 209
'' '' smcompB 210
'' '' bulletSSS 211
'' '' bulletSS 212
'' '' bulletS 213
'' '' prime2 214
'' ''
'' ''
'' ''
'' ''
'' '' dotacc 219
'' '' ddotacc 220
'' '' dddotacc 221
'' '' ddddotacc 222
ntxbsy5 0 222
htfcss: ntxbsy5 font-family: 'txbsys', serif;
>>>
\AddFont{ntxbsy5}{unicode/txbsys/ntxbsy5}{}
Missing glyph emptysetAlt
Missing glyph emptysetAlt2
Missing glyph lvec
Missing glyph harpoonacc
Missing glyph lharpoonacc
Missing glyph lrvec
Missing glyph lrharpoonacc
Missing glyph arcwide
Missing glyph arcwider
Missing glyph arcwiderr
Missing glyph arcwidest
Missing glyph arcwideult
Missing glyph oarcwide
Missing glyph oarcwider
Missing glyph oarcwiderr
Missing glyph oarcwidest
Missing glyph oarcwideult
Missing glyph barbar
Missing glyph bartilde
Missing glyph barhat
Missing glyph tildebar
Missing glyph tildetilde
Missing glyph tildehat
Missing glyph hatbar
Missing glyph hattilde
Missing glyph hathat
Missing glyph transpose
Missing glyph cdotB
Missing glyph cdotBB
Missing glyph smcompB
Missing glyph bulletSSS
Missing glyph bulletSS
Missing glyph bulletS
Missing glyph prime2
Missing glyph dotacc
Missing glyph ddotacc
Missing glyph dddotacc
Missing glyph ddddotacc
% writing ntxbsy7.htf hash: cd0c941d7dc99c06beeec11b19545f4b
\<ntxbsy7\><<<
.ntxbsy5
htfcss: ntxbsy7 font-family: 'txbsys', serif;
>>>
\AddFont{ntxbsy7}{alias/txbsys/ntxbsy7}{}
Missing glyph emptysetAlt
Missing glyph emptysetAlt2
Missing glyph lvec
Missing glyph harpoonacc
Missing glyph lharpoonacc
Missing glyph lrvec
Missing glyph lrharpoonacc
Missing glyph arcwide
Missing glyph arcwider
Missing glyph arcwiderr
Missing glyph arcwidest
Missing glyph arcwideult
Missing glyph oarcwide
Missing glyph oarcwider
Missing glyph oarcwiderr
Missing glyph oarcwidest
Missing glyph oarcwideult
Missing glyph barbar
Missing glyph bartilde
Missing glyph barhat
Missing glyph tildebar
Missing glyph tildetilde
Missing glyph tildehat
Missing glyph hatbar
Missing glyph hattilde
Missing glyph hathat
Missing glyph transpose
Missing glyph cdotB
Missing glyph cdotBB
Missing glyph smcompB
Missing glyph bulletSSS
Missing glyph bulletSS
Missing glyph bulletS
Missing glyph prime2
Missing glyph dotacc
Missing glyph ddotacc
Missing glyph dddotacc
Missing glyph ddddotacc
% writing ntxbsy.htf hash: cd0c941d7dc99c06beeec11b19545f4b
\<ntxbsy\><<<
.ntxbsy5
htfcss: ntxbsy font-family: 'txbsys', serif;
>>>
\AddFont{ntxbsy}{alias/txbsys/ntxbsy}{}
Missing glyph emptysetAlt
Missing glyph emptysetAlt2
Missing glyph lvec
Missing glyph harpoonacc
Missing glyph lharpoonacc
Missing glyph lrvec
Missing glyph lrharpoonacc
Missing glyph arcwide
Missing glyph arcwider
Missing glyph arcwiderr
Missing glyph arcwidest
Missing glyph arcwideult
Missing glyph oarcwide
Missing glyph oarcwider
Missing glyph oarcwiderr
Missing glyph oarcwidest
Missing glyph oarcwideult
Missing glyph barbar
Missing glyph bartilde
Missing glyph barhat
Missing glyph tildebar
Missing glyph tildetilde
Missing glyph tildehat
Missing glyph hatbar
Missing glyph hattilde
Missing glyph hathat
Missing glyph transpose
Missing glyph cdotB
Missing glyph cdotBB
Missing glyph smcompB
Missing glyph bulletSSS
Missing glyph bulletSS
Missing glyph bulletS
Missing glyph prime2
Missing glyph dotacc
Missing glyph ddotacc
Missing glyph dddotacc
Missing glyph ddddotacc
% writing ntxsy.htf hash: 0966adc24afc3c8a7c0e2f6115c0501b
\<ntxsy\><<<
.ntxsy5
htfcss: ntxsy font-family: 'txsys', serif;
>>>
\AddFont{ntxsy}{alias/txsys/ntxsy}{}
Missing glyph emptysetAlt
Missing glyph emptysetAlt2
Missing glyph lvec
Missing glyph harpoonacc
Missing glyph lharpoonacc
Missing glyph lrvec
Missing glyph lrharpoonacc
Missing glyph arcwide
Missing glyph arcwider
Missing glyph arcwiderr
Missing glyph arcwidest
Missing glyph arcwideult
Missing glyph oarcwide
Missing glyph oarcwider
Missing glyph oarcwiderr
Missing glyph oarcwidest
Missing glyph oarcwideult
Missing glyph barbar
Missing glyph bartilde
Missing glyph barhat
Missing glyph tildebar
Missing glyph tildetilde
Missing glyph tildehat
Missing glyph hatbar
Missing glyph hattilde
Missing glyph hathat
Missing glyph transpose
Missing glyph cdotB
Missing glyph cdotBB
Missing glyph smcompB
Missing glyph bulletSSS
Missing glyph bulletSS
Missing glyph bulletS
Missing glyph prime2
Missing glyph dotacc
Missing glyph ddotacc
Missing glyph dddotacc
Missing glyph ddddotacc
\bye
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment