summaryrefslogtreecommitdiff
path: root/support/TeX4ht/source/tex4ht-fonts-noncjk.tex
diff options
context:
space:
mode:
Diffstat (limited to 'support/TeX4ht/source/tex4ht-fonts-noncjk.tex')
-rw-r--r--support/TeX4ht/source/tex4ht-fonts-noncjk.tex249
1 files changed, 125 insertions, 124 deletions
diff --git a/support/TeX4ht/source/tex4ht-fonts-noncjk.tex b/support/TeX4ht/source/tex4ht-fonts-noncjk.tex
index e3acee737d..07761708eb 100644
--- a/support/TeX4ht/source/tex4ht-fonts-noncjk.tex
+++ b/support/TeX4ht/source/tex4ht-fonts-noncjk.tex
@@ -1,4 +1,4 @@
-% $Id: tex4ht-fonts-noncjk.tex 1427 2023-12-20 22:00:23Z michal_h21 $
+% $Id: tex4ht-fonts-noncjk.tex 1462 2024-02-15 10:47:46Z michal_h21 $
% tex tex4ht-fonts-noncjk
% or ht tex tex4ht-fonts-noncjk
%
@@ -43117,136 +43117,137 @@ wncsc 0 127
\Section{Stmary}
%%%%%%%%%%%%%
+Update 2024: use HTF file sent to Michal by Arkady Bedediktov
\<stmary\><<<
stmary 0 127
-'&#x2190;' '' 0 `%shortleftarrow`% `<version 0`>
-'&#x2192;' '' 1 `%shortrightarrow`% % stmary.htf `version %
-'&#x2191;' '' 2 `%shortuparrow`% % Copyright `CopyYear.2006. Eitan M. Gurari %
-'&#x2193;' '' 3 `%shortdownarrow`% `<version 2`>
-'&#x1D21B;' '' 4 `%Yup`% `<version 3`>
-'???' '1' 5 `%Ydown`% `<version 4`>
-'&#x1D204;' '' 6 `%Yleft`% `<version 5`>
-'&#x1D220;' '' 7 `%Yright`% `<version 6`>
-'&#x22CE;' '' 8 `%varcurlyvee`% `<version 7`>
-'&#x22CF;' '' 9 `%varcurlywedge`% `<version 8`>
-'&#x2296;' '' 10 `%minuso`% `<version 9`>
-'&#x233D;' '' 11 `%baro`% `<version 10`>
-'&#x2AFD;' '' 12 `%sslash`% `<version 11`>
-'&#x244A;' '' 13 `%bbslash`% `<version 12`>
-'???' '1' 14 `%moo`% `<version 13`>
-'&#x2297;' '' 15 `%varotimes`% `<version 14`>
-'&#x229B;' '' 16 `%varoast`% `<version 15`>
-'&#x233D;' '' 17 `%varobar`% `<version 16`>
-'&#x2299;' '' 18 `%varodot`% `<version 17`>
-'&#x2298;' '' 19 `%varoslash`% `<version 18`>
-'&#x29B0;' '' 20 `%varobslash`%
-'&#x229A;' '' 21 `%varocircle`%
-'&#x2295;' '' 22 `%varoplus`%
-'&#x229D;' '' 23 `%varominus`%
-'&#x29C6;' '' 24 `%boxast`%
-'???' '1' 25 `%boxbar`%
-'&#x22A1;' '' 26 `%boxdot`%
-'&#x2341;' '' 27 `%boxslash`%
-'&#x2342;' '' 28 `%boxbslash`%
-'&#x233B;' '' 29 `%boxcircle`%
-'&#x29C8;' '' 30 `%boxbox`%
-'&#x2395;' '' 31 `%boxempty`%
-'&#x26A1;' '' 32 `%lightning`%
-'&#x2A55;' '' 33 `%merge`%
-'&#x2A09;' '' 34 `%vartimes`%
-'&#x2A1F;' '' 35 `%fatsemi`%
-'&#x2199;' '' 36 `%sswarrow`%
-'&#x2198;' '' 37 `%ssearrow`%
-'???' '1' 38 `%curlywedgeuparrow`%
-'???' '1' 39 `%curlywedgedownarrow`%
-'???' '1' 40 `%fatslash`%
-'???' '1' 41 `%fatbslash`%
-'???' '1' 42 `%lbag`%
-'???' '1' 43 `%rbag`%
-'&#x25CB;' '' 44 `%varbigcirc`%
-'???' '1' 45 `%leftrightarroweq`%
-'???' '1' 46 `%curlyveedownarrow`%
-'???' '1' 47 `%curlyveeuparrow`%
-'&#x2196;' '' 48 `%nnwarrow`%
-'&#x2197;' '' 49 `%nnearrow`%
-'&#x2AA6;' '' 50 `%leftslice`%
-'&#x2AA7;' '' 51 `%rightslice`%
-'&#x29C0;' '' 52 `%varolessthan`%
-'&#x29C1;' '' 53 `%varogreaterthan`%
-'???' '1' 54 `%varovee`%
-'???' '1' 55 `%varowedge`%
-'&#x2AFF;' '' 56 `%talloblong`%
-'&#x2AFC;' '' 57 `%interleave`%
-'&#x233D;' '' 58 `%obar`%
-'&#x29B0;' '' 59 `%obslash`%
-'&#x29C0;' '' 60 `%olessthan`%
-'&#x29C1;' '' 61 `%ogreaterthan`%
-'???' '1' 62 `%ovee`%
-'???' '1' 63 `%owedge`%
-'&#x25A1;' '' 64 `%oblong`%
-'&#x2A2D;' '' 65 `%inplus`%
-'&#x2A2E;' '' 66 `%niplus`%
-'???' '1' 67 `%nplus`%
-'&#x25A1;' '' 68 `%subsetplus`%
-'&#x2A2D;' '' 69 `%supsetplus`%
-'???' '1' 70 `%subsetpluseq`%
-'???' '1' 71 `%supsetpluseq`%
-'???' '1' 72 `%Lbag`%
-'???' '1' 73 `%Rbag`%
-'&#x27E6;' '' 74 `%llbracket`%
-'&#x27E7;' '' 75 `%rrbracket`%
-'&#x2987;' '' 76 `%llparenthesis`%
-'&#x2988;' '' 77 `%rrparenthesis`%
-'???' '1' 78 `%binampersand`%
-'???' '1' 79 `%bindnasrepma`%
-'&#x22B4;' '' 80 `%trianglelefteqslant`%
-'&#x22B5;' '' 81 `%trianglerighteqslant`%
-'&#x22EC;' '' 82 `%ntrianglelefteqslant`%
-'&#x22ED;' '' 83 `%ntrianglerighteqslant`%
-'???' '1' 84 `%llfloor`%
-'???' '1' 85 `%rrfloor`%
-'???' '1' 86 `%llceil`%
-'???' '1' 87 `%rrceil`%
-'???' '1' 88 `%arrownot`%
-'???' '1' 89 `%Arrownot`%
-'???' '1' 90 `%Mapstochar`%
-'???' '1' 91 `%mapsfromchar`%
-'???' '1' 92 `%Mapsfromchar`%
-'&#x2194;' '' 93 `%leftrightarrowtriangle`%
-'&#x2190;' '' 94 `%leftarrowtriangle`%
-'&#x2192;' '' 95 `%rightarrowtriangle`%
-'&#x25BD;' '' 96
-'&#x25B3;' '' 97
-'&#x22CE;' '' 98
-'&#x22CF;' '' 99
+'&#x2190;' '' 0 `%shortleftarrow`% `<version 0`>
+'&#x2192;' '' 1 `%shortrightarrow`% % stmary.htf `version %
+'&#x2191;' '' 2 `%shortuparrow`% % Copyright `CopyYear.2006. Eitan M. Gurari %
+'&#x2193;' '' 3 `%shortdownarrow`% `<version 2`>
+'&#x2144;' '' 4 `%Yup`% `<version 3`>
+'&#x0059;' '' 5 `%Ydown`% `<version 4`>
+'' '1' 6 `%Yleft`% `<version 5`>
+'' '1' 7 `%Yright`% `<version 6`>
+'&#x22ce;' '' 8 `%varcurlyvee`% `<version 7`>
+'&#x22cf;' '' 9 `%varcurlywedge`% `<version 8`>
+'&#x29b5;' '' 10 `%minuso`% `<version 9`>
+'&#x23c0;' '' 11 `%baro`% `<version 10`>
+'&#x2afd;' '' 12 `%sslash`% `<version 11`>
+'&#x244a;' '' 13 `%bbslash`% `<version 12`>
+'' '1' 14 `%moo`% `<version 13`>
+'&#x2297;' '' 15 `%varotimes`% `<version 14`>
+'&#x229b;' '' 16 `%varoast`% `<version 15`>
+'&#x29b6;' '' 17 `%varobar`% `<version 16`>
+'&#x2299;' '' 18 `%varodot`% `<version 17`>
+'&#x2298;' '' 19 `%varoslash`% `<version 18`>
+'&#x2349;' '' 20 `%varobslash`%
+'&#x229a;' '' 21 `%varocircle`%
+'&#x2295;' '' 22 `%varoplus`%
+'&#x2296;' '' 23 `%varominus`%
+'&#x29c6;' '' 24 `%boxast`%
+'&#x25eb;' '' 25 `%boxbar`%
+'&#x22a1;' '' 26 `%boxdot`%
+'&#x29c4;' '' 27 `%boxslash`%
+'&#x29c5;' '' 28 `%boxbslash`%
+'&#x29c7;' '' 29 `%boxcircle`%
+'&#x29c8;' '' 30 `%boxbox`%
+'&#x25a1;' '' 31 `%boxempty`%
+'&#x26a1;' '' 32 `%lightning`%
+'&#x2a55;' '' 33 `%merge`%
+'&#x2a09;' '' 34 `%vartimes`%
+'&#x2a1f;' '' 35 `%fatsemi`%
+'&#x2199;' '' 36 `%sswarrow`%
+'&#x2198;' '' 37 `%ssearrow`%
+'' '1' 38 `%curlywedgeuparrow`%
+'' '1' 39 `%curlywedgedownarrow`%
+'' '1' 40 `%fatslash`%
+'' '1' 41 `%fatbslash`%
+'&#x27c5;' '' 42 `%lbag`%
+'&#x27c6;' '' 43 `%rbag`%
+'&#x25ef;' '' 44 `%varbigcirc`%
+'' '1' 45 `%leftrightarroweq`%
+'' '1' 46 `%curlyveedownarrow`%
+'' '1' 47 `%curlyveeuparrow`%
+'&#x2196;' '' 48 `%nnwarrow`%
+'&#x2197;' '' 49 `%nnearrow`%
+'&#x2aa6;' '' 50 `%leftslice`%
+'&#x2aa7;' '' 51 `%rightslice`%
+'&#x29c0;' '' 52 `%varolessthan`%
+'&#x29c1;' '' 53 `%varogreaterthan`%
+'' '1' 54 `%varovee`%
+'' '1' 55 `%varowedge`%
+'&#x2aff;' '' 56 `%talloblong`%
+'&#x2af4;' '' 57 `%interleave`%
+'&#x29b6;' '' 58 `%obar`%
+'&#x2349;' '' 59 `%obslash`%
+'&#x29c0;' '' 60 `%olessthan`%
+'&#x29c1;' '' 61 `%ogreaterthan`%
+'' '1' 62 `%ovee`%
+'' '1' 63 `%owedge`%
+'&#x25a1;' '' 64 `%oblong`%
+'' '1' 65 `%inplus`%
+'' '1' 66 `%niplus`%
+'' '1' 67 `%nplus`%
+'&#x2a2d;' '' 68 `%subsetplus`%
+'&#x2a2e;' '' 69 `%supsetplus`%
+'' '1' 70 `%subsetpluseq`%
+'' '1' 71 `%supsetpluseq`%
+'&#x27c5;' '' 72 `%Lbag`%
+'&#x27c6;' '' 73 `%Rbag`%
+'&#x27e6;' '' 74 `%llbracket`%
+'&#x27e7;' '' 75 `%rrbracket`%
+'&#x2987;' '' 76 `%llparenthesis`%
+'&#x2988;' '' 77 `%rrparenthesis`%
+'&#x0026;' '' 78 `%binampersand`%
+'&#x214b;' '' 79 `%bindnasrepma`%
+'&#x22b4;' '' 80 `%trianglelefteqslant`%
+'&#x22b5;' '' 81 `%trianglerighteqslant`%
+'&#x22ec;' '' 82 `%ntrianglelefteqslant`%
+'&#x22ed;' '' 83 `%ntrianglerighteqslant`%
+'' '1' 84 `%llfloor`%
+'' '1' 85 `%rrfloor`%
+'' '1' 86 `%llceil`%
+'' '1' 87 `%rrceil`%
+'&#x002f;' '' 88 `%arrownot`%
+'&#x002f;' '' 89 `%Arrownot`%
+'&#x2907;' '' 90 `%Mapstochar`%
+'&#x21a4;' '' 91 `%mapsfromchar`%
+'&#x2906;' '' 92 `%Mapsfromchar`%
+'&#x21ff;' '' 93 `%leftrightarrowtriangle`%
+'&#x21fd;' '' 94 `%leftarrowtriangle`%
+'&#x21fe;' '' 95 `%rightarrowtriangle`%
+'&#x25bd;' '' 96
+'&#x25b3;' '' 97
+'&#x22ce;' '' 98
+'&#x22cf;' '' 99
'&#x2293;' '' 100
-'&#x25A1;' '' 101
+'&#x25a1;' '' 101
'&#x2225;' '' 102
-'&#x2AFC;' '' 103
-'&#x25BD;' '' 104
-'&#x25B3;' '' 105
-'&#x22CE;' '' 106
-'&#x22CF;' '' 107
+'&#x2af4;' '' 103
+'&#x25bd;' '' 104
+'&#x25b3;' '' 105
+'&#x22ce;' '' 106
+'&#x22cf;' '' 107
'&#x2293;' '' 108
-'&#x25A1;' '' 109
-'&#x2225;' '' 110
-'&#x2AFC;' '' 111
-'???' '1' 112
-'&#x27E6;' '' 113
-'&#x27E6;' '' 114
-'&#x27E6;' '' 115
-'&#x27E6;' '' 116
-'???' '1' 117
-'???' '1' 118
+'&#x25a1;' '' 109
+'&#x2016;' '' 110
+'&#x2980;' '' 111
+'' '1' 112
+'&#x27e6;' '' 113
+'&#x27e6;' '' 114
+'&#x27e6;' '' 115
+'&#x27e6;' '' 116
+'' '1' 117
+'' '1' 118
'&#x2225;' '' 119
-'???' '1' 120
-'&#x27E7;' '' 121
-'&#x27E7;' '' 122
-'&#x27E7;' '' 123
-'&#x27E7;' '' 124
-'???' '1' 125
-'???' '1' 126
+'' '1' 120
+'&#x27e7;' '' 121
+'&#x27e7;' '' 122
+'&#x27e7;' '' 123
+'&#x27e7;' '' 124
+'' '1' 125
+'' '1' 126
'&#x2225;' '' 127
stmary 0 127
>>>