summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts
diff options
context:
space:
mode:
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
+'⫞' '' 0 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+'⊧' '' 1 % pxsyc.htf (unicode) 2009-02-03 %
+'⫤' '' (wrong) 2 % Copyright (C) 2008--2009 Eitan M. Gurari %
+'⊩' '' 3 % %
+'⫣' '' 4 % This work may be distributed and/or modified under the conditions %
+'⊫' '' 5 % of the LaTeX Project Public License, either version 1.3 of this %
+'⫥' '' 6 % license or (at your option) any later version. The latest version %
+'○' '' 7 % of this license is in http://www.latex-project.org/lppl.txt and %
+'●' '' 8 % version 1.3 or later is part of all distributions of LaTeX version %
+'⫽' '' 9 % 2003/12/01 or later. %
+'⫽' '' 10 % This work has the LPPL maintenance status "maintained". This %
+'⧺' '' 11 % Current Maintainer of this work is Eitan M. Gurari. %
+'⧺' '' 12 % %
+'≔' '' (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 %
+'≐' '' 17 % http://www.cse.ohio-state.edu/~gurari %
+'⟜' '' 18 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+'⧟' '' 19
+'?' '' 20
+'?' '' 21
+'?' '' 22
+'⊶' '' 23
+'⊷' '' 24
+'⊫' '' 25
+'?' '' 26
+'≅' '' 27
+'⪳' '' 28
+'⪴' '' 29
+'≴' '' 30
+'≵' '' 31
+'≴' '' 32
+'≵' '' 33
+'≴' '' 34
+'≵' '' 35
+'⋠' '' 36
+'⋡' '' 37
+'≹' '' 38
+'≸' '' 39
+'?' '' 40
+'?' '' 41
+'≁' '' 42
+'≄' '' 43
+'≠' '' 44
+'≭' '' 45
+'≢' '' 46
+'≁' '' 47
+'≉' '' 48
+'≈' '' 49
+'≉' '' 50
+'?' '' 51
+'?' '' 52
+'≉' '' 53
+'?' '' 54
+'?' '' 55
+'?' '' 56
+'?' '' 57
+'?' '' 58
+'≄' '' 59
+'∉' '' 60
+'∌' '' 61
+'?' '' 62
+'?' '' 63
+'⋢' '' 64
+'⋣' '' 65
+'≔' '' 66
+'≕' '' 67
+'?' '' 68
+'?' '' 69
+'⩴' '' 70
+'?' '' 71
+'?' '' 72
+'?' '' 73
+'⥽' '' 74
+'⥼' '' 75
+'?' '' 76
+'⅋' '' 77
+'⟅' '' 78
+'⟆' '' 79
+'⟅' '' 80
+'⟆' '' 81
+'⧀' '' 82
+'⧁' '' 83
+'?' '' 84
+'?' '' 85
+'⦶' '' 86
+'⦸' '' 87
+'⋉' '' 88
+'⋊' '' 89
+'⋈' '' 90
+'×' '' 91
+'⋈' '' 92
+'×' '' 93
+'♢' '' 94
+'♦' '' 95
+'?' '' 96
+'?' '' 97
+'?' '' 98
+'⇠' '' 99
+'⇢' '' 100
+'?' '' 101
+'⇜' '' 102
+'⤀' '' 103
+'?' '' 104
+'⧆' '' 105
+'⧅' '' 106
+'◫' '' 107
+'⧄' '' 108
+'?' '' 109
+'ƛ' '' 110
+'ƛ' '' 111
+'♧' '' 112
+'♦' '' 113
+'♥' '' 114
+'♤' '' 115
+'ᇗ' '' 116
+'ᇘ' '' 117
+'ᇖ' '' 118
+'ᇙ' '' 119
+'?' '' 120
+'?' '' 121
+'∼' '' 122
+'↝' '' 123
+'?' '' 124
+'?' '' 125
+'⟦' '' 126
+'⟧' '' 127
+'?' '' 128
+'?' '' 129
+'?' '' 130
+'?' '' 131
+'?' '' 132
+'?' '' 133
+'?' '' 134
+'?' '' 135
+'?' '' 136
+'?' '' 137
+'?' '' 138
+'?' '' 139
+'?' '' 140
+'?' '' 141
+'?' '' 142
+'?' '' 143
+'⟐' '' 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
+