diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/alias/txfonts')
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 + |