summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-04-20 23:02:43 +0000
committerKarl Berry <karl@freefriends.org>2009-04-20 23:02:43 +0000
commit3ea86bef2e63ca77c8fbfe4e3b4617804de11855 (patch)
tree1e0e750a74f9564e0c70869bcb018ee010518e50 /Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts
parentee53eac199e12fb91859fd18a43dd506ff75e3a9 (diff)
tex4ht-1.0.2009_04_18_1145
git-svn-id: svn://tug.org/texlive/trunk@12767 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts')
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/pxbsyc.htf158
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxb.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbi.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsl.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbss.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsso.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxi.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsl.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsssl.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbmi.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbsssc.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxmi.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvb.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvbo.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvr.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvro.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmb.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbi.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbo.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmr.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmri.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmro.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf14
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxi.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxr.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsl.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxss.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsssl.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf3
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txexa.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf14
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsc.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsssc.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbttsc.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxsssc.htf2
-rwxr-xr-xMaster/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxttsc.htf2
37 files changed, 275 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/pxbsyc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/pxbsyc.htf
new file mode 100755
index 00000000000..2b379028c01
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/pxbsyc.htf
@@ -0,0 +1,158 @@
+.txsyc
+pxbsyc 0 152
+'&#x2ADE;' '' 0 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+'&#x22A7;' '' 1 % pxsyc.htf (unicode) 2009-02-03 %
+'&#x2AE4;' '' (wrong) 2 % Copyright (C) 2008--2009 Eitan M. Gurari %
+'&#x22A9;' '' 3 % %
+'&#x2AE3;' '' 4 % This work may be distributed and/or modified under the conditions %
+'&#x22AB;' '' 5 % of the LaTeX Project Public License, either version 1.3 of this %
+'&#x2AE5;' '' 6 % license or (at your option) any later version. The latest version %
+'&#x25CB;' '' 7 % of this license is in http://www.latex-project.org/lppl.txt and %
+'&#x25CF;' '' 8 % version 1.3 or later is part of all distributions of LaTeX version %
+'&#x2AFD;' '' 9 % 2003/12/01 or later. %
+'&#x2AFD;' '' 10 % This work has the LPPL maintenance status "maintained". This %
+'&#x29FA;' '' 11 % Current Maintainer of this work is Eitan M. Gurari. %
+'&#x29FA;' '' 12 % %
+'&#x2254;' '' (wrong) 13 % If you modify this file your your adding a note of %
+'?' '' 14 % your own after this copyright note will be appreciated. %
+'?' '' 15 % %
+'?' '' 16 % gurari@cse.ohio-state.edu %
+'&#x2250;' '' 17 % http://www.cse.ohio-state.edu/~gurari %
+'&#x27DC;' '' 18 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+'&#x29DF;' '' 19
+'?' '' 20
+'?' '' 21
+'?' '' 22
+'&#x22B6;' '' 23
+'&#x22B7;' '' 24
+'&#x22AB;' '' 25
+'?' '' 26
+'&#x2245;' '' 27
+'&#x2AB3;' '' 28
+'&#x2AB4;' '' 29
+'&#x2274;' '' 30
+'&#x2275;' '' 31
+'&#x2274;' '' 32
+'&#x2275;' '' 33
+'&#x2274;' '' 34
+'&#x2275;' '' 35
+'&#x22E0;' '' 36
+'&#x22E1;' '' 37
+'&#x2279;' '' 38
+'&#x2278;' '' 39
+'?' '' 40
+'?' '' 41
+'&#x2241;' '' 42
+'&#x2244;' '' 43
+'&#x2260;' '' 44
+'&#x226D;' '' 45
+'&#x2262;' '' 46
+'&#x2241;' '' 47
+'&#x2249;' '' 48
+'&#x2248;' '' 49
+'&#x2249;' '' 50
+'?' '' 51
+'?' '' 52
+'&#x2249;' '' 53
+'?' '' 54
+'?' '' 55
+'?' '' 56
+'?' '' 57
+'?' '' 58
+'&#x2244;' '' 59
+'&#x2209;' '' 60
+'&#x220C;' '' 61
+'?' '' 62
+'?' '' 63
+'&#x22E2;' '' 64
+'&#x22E3;' '' 65
+'&#x2254;' '' 66
+'&#x2255;' '' 67
+'?' '' 68
+'?' '' 69
+'&#x2A74;' '' 70
+'?' '' 71
+'?' '' 72
+'?' '' 73
+'&#x297D;' '' 74
+'&#x297C;' '' 75
+'?' '' 76
+'&#x214B;' '' 77
+'&#x27C5;' '' 78
+'&#x27C6;' '' 79
+'&#x27C5;' '' 80
+'&#x27C6;' '' 81
+'&#x29C0;' '' 82
+'&#x29C1;' '' 83
+'?' '' 84
+'?' '' 85
+'&#x29B6;' '' 86
+'&#x29B8;' '' 87
+'&#x22C9;' '' 88
+'&#x22CA;' '' 89
+'&#x22C8;' '' 90
+'&#x00D7;' '' 91
+'&#x22C8;' '' 92
+'&#x00D7;' '' 93
+'&#x2662;' '' 94
+'&#x2666;' '' 95
+'?' '' 96
+'?' '' 97
+'?' '' 98
+'&#x21E0;' '' 99
+'&#x21E2;' '' 100
+'?' '' 101
+'&#x21DC;' '' 102
+'&#x2900;' '' 103
+'?' '' 104
+'&#x29C6;' '' 105
+'&#x29C5;' '' 106
+'&#x25EB;' '' 107
+'&#x29C4;' '' 108
+'?' '' 109
+'&#x019B;' '' 110
+'&#x019B;' '' 111
+'&#x2667;' '' 112
+'&#x2666;' '' 113
+'&#x2665;' '' 114
+'&#x2664;' '' 115
+'&#x11D7;' '' 116
+'&#x11D8;' '' 117
+'&#x11D6;' '' 118
+'&#x11D9;' '' 119
+'?' '' 120
+'?' '' 121
+'&#x223C;' '' 122
+'&#x219D;' '' 123
+'?' '' 124
+'?' '' 125
+'&#x27E6;' '' 126
+'&#x27E7;' '' 127
+'?' '' 128
+'?' '' 129
+'?' '' 130
+'?' '' 131
+'?' '' 132
+'?' '' 133
+'?' '' 134
+'?' '' 135
+'?' '' 136
+'?' '' 137
+'?' '' 138
+'?' '' 139
+'?' '' 140
+'?' '' 141
+'?' '' 142
+'?' '' 143
+'&#x27D0;' '' 144
+'?' '' 145
+'?' '' 146
+'?' '' 147
+'?' '' 148
+'?' '' 149
+'?' '' 150
+'?' '' 151
+'?' '' 152
+pxbsyc 0 152
+htfcss: pxsyc font-style:italic; font-weight: bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxb.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxb.htf
new file mode 100755
index 00000000000..2fdb84d373b
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxb.htf
@@ -0,0 +1,3 @@
+.rtcxr
+htfcss: rtcxb font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbi.htf
new file mode 100755
index 00000000000..aeec4bdbf27
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbi.htf
@@ -0,0 +1,3 @@
+.rtcxr
+htfcss: rtcxbi font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsl.htf
new file mode 100755
index 00000000000..0d6ae86772b
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsl.htf
@@ -0,0 +1,3 @@
+.rtcxr
+htfcss: rtcxbsl font-weight:bold; font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbss.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbss.htf
new file mode 100755
index 00000000000..2419729bcf3
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbss.htf
@@ -0,0 +1,3 @@
+.rtcxss
+htfcss: rtcxbss font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsso.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsso.htf
new file mode 100755
index 00000000000..50faaf4f2ec
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxbsso.htf
@@ -0,0 +1,3 @@
+.rtcxss
+htfcss: rtcxbsso font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxi.htf
new file mode 100755
index 00000000000..47642fefcdf
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxi.htf
@@ -0,0 +1,3 @@
+.rtcxr
+htfcss: rtcxi font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsl.htf
new file mode 100755
index 00000000000..2691543a241
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsl.htf
@@ -0,0 +1,3 @@
+.rtcxr
+htfcss: rtcxsl font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsssl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsssl.htf
new file mode 100755
index 00000000000..3ae8a71bd42
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtcxsssl.htf
@@ -0,0 +1,3 @@
+.rtcxss
+htfcss: rtcxsssl font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbmi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbmi.htf
new file mode 100755
index 00000000000..da52780b0f8
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbmi.htf
@@ -0,0 +1,3 @@
+.cmmi
+htfcss: rtxbmi font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbsssc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbsssc.htf
new file mode 100755
index 00000000000..f80130a320a
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxbsssc.htf
@@ -0,0 +1,3 @@
+.rtxsc
+htfcss: rtxbsssc font-weight: bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxmi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxmi.htf
new file mode 100755
index 00000000000..507e8121e1f
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxmi.htf
@@ -0,0 +1,2 @@
+.cmmi
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvb.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvb.htf
new file mode 100755
index 00000000000..b45fabd806b
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvb.htf
@@ -0,0 +1,3 @@
+.pcrro8r
+htfcss: rtxphvb font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvbo.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvbo.htf
new file mode 100755
index 00000000000..6a976959309
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvbo.htf
@@ -0,0 +1,3 @@
+.pcrro8r
+htfcss: rtxphvbo font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvr.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvr.htf
new file mode 100755
index 00000000000..a6105df6cda
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvr.htf
@@ -0,0 +1,2 @@
+.pcrro8r
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvro.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvro.htf
new file mode 100755
index 00000000000..a6105df6cda
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxphvro.htf
@@ -0,0 +1,2 @@
+.pcrro8r
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmb.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmb.htf
new file mode 100755
index 00000000000..b0b453dac20
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmb.htf
@@ -0,0 +1,3 @@
+.pcrro8r
+htfcss: rtxptmb font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbi.htf
new file mode 100755
index 00000000000..d8a4d9ac3a1
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbi.htf
@@ -0,0 +1,3 @@
+.pcrro8r
+htfcss: rtxptmbi font-weight:bold; font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbo.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbo.htf
new file mode 100755
index 00000000000..5e86327ac73
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmbo.htf
@@ -0,0 +1,3 @@
+.pcrro8r
+htfcss: rtxptmbo font-weight:bold;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmr.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmr.htf
new file mode 100755
index 00000000000..a6105df6cda
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmr.htf
@@ -0,0 +1,2 @@
+.pcrro8r
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmri.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmri.htf
new file mode 100755
index 00000000000..6e1b0308ec0
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmri.htf
@@ -0,0 +1,3 @@
+.pcrro8r
+htfcss: rtxptmri font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmro.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmro.htf
new file mode 100755
index 00000000000..a6105df6cda
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/rtxptmro.htf
@@ -0,0 +1,2 @@
+.pcrro8r
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf
new file mode 100755
index 00000000000..86ba3366795
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/t1x.htf
@@ -0,0 +1,14 @@
+.lm-ec
+htfcss: t1xi font-style: italic;
+htfcss: t1xss font-family: sans-serif;
+htfcss: t1xtt font-family: monospace;
+htfcss: t1xb font-weight: bold;
+htfcss: t1xbi font-weight: bold;
+htfcss: t1xbss font-weight: bold; font-family: sans-serif;
+htfcss: t1xbtt font-weight: bold; font-family: monospace;
+htfcss: t1xbsl font-weight: bold; font-style: italic;
+htfcss: t1xbsssl font-weight: bold; font-family: sans-serif; font-style: italic;
+htfcss: t1xbttsl font-weight: bold; font-style: italic;
+htfcss: t1xsl font-style: italic;
+htfcss: t1xsssl font-family: sans-serif; font-style: italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxi.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxi.htf
new file mode 100755
index 00000000000..ef083cc7db6
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxi.htf
@@ -0,0 +1,3 @@
+.tcxb
+htfcss: tcxi font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxr.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxr.htf
new file mode 100755
index 00000000000..f37a148727b
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxr.htf
@@ -0,0 +1,2 @@
+.tcxb
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsl.htf
new file mode 100755
index 00000000000..59aa79613ae
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsl.htf
@@ -0,0 +1,3 @@
+.tcxb
+htfcss: tcxsl font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxss.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxss.htf
new file mode 100755
index 00000000000..f37a148727b
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxss.htf
@@ -0,0 +1,2 @@
+.tcxb
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsssl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsssl.htf
new file mode 100755
index 00000000000..66d4b491343
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxsssl.htf
@@ -0,0 +1,3 @@
+.tcxb
+htfcss: tcxsssl font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf
new file mode 100755
index 00000000000..a92f7d62936
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxtt.htf
@@ -0,0 +1,3 @@
+.tcxb
+htfcss: tcxtt font-family:monospace;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf
new file mode 100755
index 00000000000..3d9949c6d99
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tcxttsl.htf
@@ -0,0 +1,3 @@
+.tcxb
+htfcss: tcxttsl font-style:italic; font-family:monospace;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txexa.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txexa.htf
new file mode 100755
index 00000000000..312b64e075c
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/txexa.htf
@@ -0,0 +1,2 @@
+.txbexa
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf
new file mode 100755
index 00000000000..cb21d8f10d9
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyx.htf
@@ -0,0 +1,14 @@
+.lm-texnansi
+htfcss: tyxb font-weight:bold;
+htfcss: tyxbi font-weight:bold;
+htfcss: tyxbsl font-weight:bold; font-style:italic;
+htfcss: tyxbss font-weight:bold;
+htfcss: tyxbsssl font-weight:bold; font-style:italic;
+htfcss: tyxbtt font-weight:bold; font-family:monospace;
+htfcss: tyxbttsl font-weight:bold; font-family:monospace; font-style:italic;
+htfcss: tyxi font-style:italic;
+htfcss: tyxsl font-style:italic;
+htfcss: tyxsssl font-style:italic;
+htfcss: tyxtt font-family:monospace;
+htfcss: tyxttsl font-family:monospace; font-style:italic;
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsc.htf
new file mode 100755
index 00000000000..55043566a47
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsc.htf
@@ -0,0 +1,2 @@
+.tyxsc
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsssc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsssc.htf
new file mode 100755
index 00000000000..55043566a47
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbsssc.htf
@@ -0,0 +1,2 @@
+.tyxsc
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbttsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbttsc.htf
new file mode 100755
index 00000000000..55043566a47
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxbttsc.htf
@@ -0,0 +1,2 @@
+.tyxsc
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxsssc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxsssc.htf
new file mode 100755
index 00000000000..55043566a47
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxsssc.htf
@@ -0,0 +1,2 @@
+.tyxsc
+
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxttsc.htf b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxttsc.htf
new file mode 100755
index 00000000000..55043566a47
--- /dev/null
+++ b/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts/tyxttsc.htf
@@ -0,0 +1,2 @@
+.tyxsc
+