summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/generic/ofs/ofs-ams.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/generic/ofs/ofs-ams.tex')
-rw-r--r--Master/texmf-dist/tex/generic/ofs/ofs-ams.tex237
1 files changed, 237 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/generic/ofs/ofs-ams.tex b/Master/texmf-dist/tex/generic/ofs/ofs-ams.tex
new file mode 100644
index 00000000000..1398da632ee
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/ofs/ofs-ams.tex
@@ -0,0 +1,237 @@
+% OFS: AMS fonts, math encoding declaration
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Apr. 2004 Petr Olsak
+
+\protectreading ofs-ams.tex % This is part of OFS package
+
+\mathencdef\MSAMmathchars{%
+ \fontmessage{\ofsmessageheader Math symbols are set for AMS encoding.}%
+ \mathchardef\boxdot "2\hex\msamfam 00
+ \mathchardef\boxplus "2\hex\msamfam 01
+ \mathchardef\boxtimes "2\hex\msamfam 02
+ \mathchardef\square "0\hex\msamfam 03
+ \mathchardef\blacksquare "0\hex\msamfam 04
+ \mathchardef\centerdot "2\hex\msamfam 05
+ \mathchardef\lozenge "0\hex\msamfam 06
+ \mathchardef\blacklozenge "0\hex\msamfam 07
+ \mathchardef\circlearrowright "3\hex\msamfam 08
+ \mathchardef\circlearrowleft "3\hex\msamfam 09
+ \mathchardef\rightleftharpoons "3\hex\msamfam 0A
+ \mathchardef\leftrightharpoons "3\hex\msamfam 0B
+ \mathchardef\boxminus "2\hex\msamfam 0C
+ \mathchardef\Vdash "3\hex\msamfam 0D
+ \mathchardef\Vvdash "3\hex\msamfam 0E
+ \mathchardef\vDash "3\hex\msamfam 0F
+ \mathchardef\twoheadrightarrow "3\hex\msamfam 10
+ \mathchardef\twoheadleftarrow "3\hex\msamfam 11
+ \mathchardef\leftleftarrows "3\hex\msamfam 12
+ \mathchardef\rightrightarrows "3\hex\msamfam 13
+ \mathchardef\upuparrows "3\hex\msamfam 14
+ \mathchardef\downdownarrows "3\hex\msamfam 15
+ \mathchardef\upharpoonright "3\hex\msamfam 16
+ \let\restriction\upharpoonright
+ \mathchardef\downharpoonright "3\hex\msamfam 17
+ \mathchardef\upharpoonleft "3\hex\msamfam 18
+ \mathchardef\downharpoonleft "3\hex\msamfam 19
+ \mathchardef\rightarrowtail "3\hex\msamfam 1A
+ \mathchardef\leftarrowtail "3\hex\msamfam 1B
+ \mathchardef\leftrightarrows "3\hex\msamfam 1C
+ \mathchardef\rightleftarrows "3\hex\msamfam 1D
+ \mathchardef\Lsh "3\hex\msamfam 1E
+ \mathchardef\Rsh "3\hex\msamfam 1F
+ \mathchardef\rightsquigarrow "3\hex\msamfam 20
+ \mathchardef\leftrightsquigarrow "3\hex\msamfam 21
+ \mathchardef\looparrowleft "3\hex\msamfam 22
+ \mathchardef\looparrowright "3\hex\msamfam 23
+ \mathchardef\circeq "3\hex\msamfam 24
+ \mathchardef\succsim "3\hex\msamfam 25
+ \mathchardef\gtrsim "3\hex\msamfam 26
+ \mathchardef\gtrapprox "3\hex\msamfam 27
+ \mathchardef\multimap "3\hex\msamfam 28
+ \mathchardef\therefore "3\hex\msamfam 29
+ \mathchardef\because "3\hex\msamfam 2A
+ \mathchardef\doteqdot "3\hex\msamfam 2B
+ \let\Doteq\doteqdot
+ \mathchardef\triangleq "3\hex\msamfam 2C
+ \mathchardef\precsim "3\hex\msamfam 2D
+ \mathchardef\lesssim "3\hex\msamfam 2E
+ \mathchardef\lessapprox "3\hex\msamfam 2F
+ \mathchardef\eqslantless "3\hex\msamfam 30
+ \mathchardef\eqslantgtr "3\hex\msamfam 31
+ \mathchardef\curlyeqprec "3\hex\msamfam 32
+ \mathchardef\curlyeqsucc "3\hex\msamfam 33
+ \mathchardef\preccurlyeq "3\hex\msamfam 34
+ \mathchardef\leqq "3\hex\msamfam 35
+ \mathchardef\leqslant "3\hex\msamfam 36
+ \mathchardef\lessgtr "3\hex\msamfam 37
+ \mathchardef\backprime "0\hex\msamfam 38
+ \mathchardef\risingdotseq "3\hex\msamfam 3A
+ \mathchardef\fallingdotseq "3\hex\msamfam 3B
+ \mathchardef\succcurlyeq "3\hex\msamfam 3C
+ \mathchardef\geqq "3\hex\msamfam 3D
+ \mathchardef\geqslant "3\hex\msamfam 3E
+ \mathchardef\gtrless "3\hex\msamfam 3F
+ \mathchardef\sqsubset "3\hex\msamfam 40
+ \mathchardef\sqsupset "3\hex\msamfam 41
+ \mathchardef\vartriangleright "3\hex\msamfam 42
+ \mathchardef\vartriangleleft "3\hex\msamfam 43
+ \mathchardef\trianglerighteq "3\hex\msamfam 44
+ \mathchardef\trianglelefteq "3\hex\msamfam 45
+ \mathchardef\bigstar "0\hex\msamfam 46
+ \mathchardef\between "3\hex\msamfam 47
+ \mathchardef\blacktriangledown "0\hex\msamfam 48
+ \mathchardef\blacktriangleright "3\hex\msamfam 49
+ \mathchardef\blacktriangleleft "3\hex\msamfam 4A
+ \mathchardef\vartriangle "3\hex\msamfam 4D
+ \mathchardef\blacktriangle "0\hex\msamfam 4E
+ \mathchardef\triangledown "0\hex\msamfam 4F
+ \mathchardef\eqcirc "3\hex\msamfam 50
+ \mathchardef\lesseqgtr "3\hex\msamfam 51
+ \mathchardef\gtreqless "3\hex\msamfam 52
+ \mathchardef\lesseqqgtr "3\hex\msamfam 53
+ \mathchardef\gtreqqless "3\hex\msamfam 54
+ \mathchardef\Rrightarrow "3\hex\msamfam 56
+ \mathchardef\Lleftarrow "3\hex\msamfam 57
+ \mathchardef\veebar "2\hex\msamfam 59
+ \mathchardef\barwedge "2\hex\msamfam 5A
+ \mathchardef\doublebarwedge "2\hex\msamfam 5B
+ \mathchardef\angle "0\hex\msamfam 5C
+ \mathchardef\measuredangle "0\hex\msamfam 5D
+ \mathchardef\sphericalangle "0\hex\msamfam 5E
+ \mathchardef\varpropto "3\hex\msamfam 5F
+ \mathchardef\smallsmile "3\hex\msamfam 60
+ \mathchardef\smallfrown "3\hex\msamfam 61
+ \mathchardef\Subset "3\hex\msamfam 62
+ \mathchardef\Supset "3\hex\msamfam 63
+ \mathchardef\Cup "2\hex\msamfam 64
+ \let\doublecup\Cup
+ \mathchardef\Cap "2\hex\msamfam 65
+ \let\doublecap\Cap
+ \mathchardef\curlywedge "2\hex\msamfam 66
+ \mathchardef\curlyvee "2\hex\msamfam 67
+ \mathchardef\leftthreetimes "2\hex\msamfam 68
+ \mathchardef\rightthreetimes "2\hex\msamfam 69
+ \mathchardef\subseteqq "3\hex\msamfam 6A
+ \mathchardef\supseteqq "3\hex\msamfam 6B
+ \mathchardef\bumpeq "3\hex\msamfam 6C
+ \mathchardef\Bumpeq "3\hex\msamfam 6D
+ \mathchardef\lll "3\hex\msamfam 6E
+ \let\llless\lll
+ \mathchardef\ggg "3\hex\msamfam 6F
+ \let\gggtr\ggg
+ \edef\ulcorner{\delimiter "4\hex\msamfam 70\hex\msamfam 70 }%
+ \edef\urcorner{\delimiter "5\hex\msamfam 71\hex\msamfam 71 }%
+ \mathchardef\circledS "0\hex\msamfam 73
+ \mathchardef\pitchfork "3\hex\msamfam 74
+ \mathchardef\dotplus "2\hex\msamfam 75
+ \mathchardef\backsim "3\hex\msamfam 76
+ \mathchardef\backsimeq "3\hex\msamfam 77
+ \edef\llcorner{\delimiter "4\hex\msamfam 78\hex\msamfam 78 }%
+ \edef\lrcorner{\delimiter "5\hex\msamfam 79\hex\msamfam 79 }%
+ \mathchardef\complement "0\hex\msamfam 7B
+ \mathchardef\intercal "2\hex\msamfam 7C
+ \mathchardef\circledcirc "2\hex\msamfam 7D
+ \mathchardef\circledast "2\hex\msamfam 7E
+ \mathchardef\circleddash "2\hex\msamfam 7F
+ \mathchardef\rhd "2\hex\msamfam 42
+ \mathchardef\lhd "2\hex\msamfam 43
+ \mathchardef\unrhd "2\hex\msamfam 44
+ \mathchardef\unlhd "2\hex\msamfam 45
+}
+\mathencdef\MSBMmathchars {%
+ \mathchardef\lvertneqq "3\hex\msbmfam 00
+ \mathchardef\gvertneqq "3\hex\msbmfam 01
+ \mathchardef\nleq "3\hex\msbmfam 02
+ \mathchardef\ngeq "3\hex\msbmfam 03
+ \mathchardef\nless "3\hex\msbmfam 04
+ \mathchardef\ngtr "3\hex\msbmfam 05
+ \mathchardef\nprec "3\hex\msbmfam 06
+ \mathchardef\nsucc "3\hex\msbmfam 07
+ \mathchardef\lneqq "3\hex\msbmfam 08
+ \mathchardef\gneqq "3\hex\msbmfam 09
+ \mathchardef\nleqslant "3\hex\msbmfam 0A
+ \mathchardef\ngeqslant "3\hex\msbmfam 0B
+ \mathchardef\lneq "3\hex\msbmfam 0C
+ \mathchardef\gneq "3\hex\msbmfam 0D
+ \mathchardef\npreceq "3\hex\msbmfam 0E
+ \mathchardef\nsucceq "3\hex\msbmfam 0F
+ \mathchardef\precnsim "3\hex\msbmfam 10
+ \mathchardef\succnsim "3\hex\msbmfam 11
+ \mathchardef\lnsim "3\hex\msbmfam 12
+ \mathchardef\gnsim "3\hex\msbmfam 13
+ \mathchardef\nleqq "3\hex\msbmfam 14
+ \mathchardef\ngeqq "3\hex\msbmfam 15
+ \mathchardef\precneqq "3\hex\msbmfam 16
+ \mathchardef\succneqq "3\hex\msbmfam 17
+ \mathchardef\precnapprox "3\hex\msbmfam 18
+ \mathchardef\succnapprox "3\hex\msbmfam 19
+ \mathchardef\lnapprox "3\hex\msbmfam 1A
+ \mathchardef\gnapprox "3\hex\msbmfam 1B
+ \mathchardef\nsim "3\hex\msbmfam 1C
+ \mathchardef\ncong "3\hex\msbmfam 1D
+ \mathchardef\diagup "0\hex\msbmfam 1E
+ \mathchardef\diagdown "0\hex\msbmfam 1F
+ \mathchardef\varsubsetneq "3\hex\msbmfam 20
+ \mathchardef\varsupsetneq "3\hex\msbmfam 21
+ \mathchardef\nsubseteqq "3\hex\msbmfam 22
+ \mathchardef\nsupseteqq "3\hex\msbmfam 23
+ \mathchardef\subsetneqq "3\hex\msbmfam 24
+ \mathchardef\supsetneqq "3\hex\msbmfam 25
+ \mathchardef\varsubsetneqq "3\hex\msbmfam 26
+ \mathchardef\varsupsetneqq "3\hex\msbmfam 27
+ \mathchardef\subsetneq "3\hex\msbmfam 28
+ \mathchardef\supsetneq "3\hex\msbmfam 29
+ \mathchardef\nsubseteq "3\hex\msbmfam 2A
+ \mathchardef\nsupseteq "3\hex\msbmfam 2B
+ \mathchardef\nparallel "3\hex\msbmfam 2C
+ \mathchardef\nmid "3\hex\msbmfam 2D
+ \mathchardef\nshortmid "3\hex\msbmfam 2E
+ \mathchardef\nshortparallel "3\hex\msbmfam 2F
+ \mathchardef\nvdash "3\hex\msbmfam 30
+ \mathchardef\nVdash "3\hex\msbmfam 31
+ \mathchardef\nvDash "3\hex\msbmfam 32
+ \mathchardef\nVDash "3\hex\msbmfam 33
+ \mathchardef\ntrianglerighteq "3\hex\msbmfam 34
+ \mathchardef\ntrianglelefteq "3\hex\msbmfam 35
+ \mathchardef\ntriangleleft "3\hex\msbmfam 36
+ \mathchardef\ntriangleright "3\hex\msbmfam 37
+ \mathchardef\nleftarrow "3\hex\msbmfam 38
+ \mathchardef\nrightarrow "3\hex\msbmfam 39
+ \mathchardef\nLeftarrow "3\hex\msbmfam 3A
+ \mathchardef\nRightarrow "3\hex\msbmfam 3B
+ \mathchardef\nLeftrightarrow "3\hex\msbmfam 3C
+ \mathchardef\nleftrightarrow "3\hex\msbmfam 3D
+ \mathchardef\divideontimes "2\hex\msbmfam 3E
+ \mathchardef\varnothing "0\hex\msbmfam 3F
+ \mathchardef\nexists "0\hex\msbmfam 40
+ \mathchardef\Finv "0\hex\msbmfam 60
+ \mathchardef\Game "0\hex\msbmfam 61
+ \mathchardef\mho "0\hex\msbmfam 66
+ \mathchardef\eth "0\hex\msbmfam 67
+ \mathchardef\eqsim "3\hex\msbmfam 68
+ \mathchardef\beth "0\hex\msbmfam 69
+ \mathchardef\gimel "0\hex\msbmfam 6A
+ \mathchardef\daleth "0\hex\msbmfam 6B
+ \mathchardef\lessdot "2\hex\msbmfam 6C
+ \mathchardef\gtrdot "2\hex\msbmfam 6D
+ \mathchardef\ltimes "2\hex\msbmfam 6E
+ \mathchardef\rtimes "2\hex\msbmfam 6F
+ \mathchardef\shortmid "3\hex\msbmfam 70
+ \mathchardef\shortparallel "3\hex\msbmfam 71
+ \mathchardef\smallsetminus "2\hex\msbmfam 72
+ \mathchardef\thicksim "3\hex\msbmfam 73
+ \mathchardef\thickapprox "3\hex\msbmfam 74
+ \mathchardef\approxeq "3\hex\msbmfam 75
+ \mathchardef\succapprox "3\hex\msbmfam 76
+ \mathchardef\precapprox "3\hex\msbmfam 77
+ \mathchardef\curvearrowleft "3\hex\msbmfam 78
+ \mathchardef\curvearrowright "3\hex\msbmfam 79
+ \mathchardef\digamma "0\hex\msbmfam 7A
+ \mathchardef\varkappa "0\hex\msbmfam 7B
+ \mathchardef\Bbbk "0\hex\msbmfam 7C
+ \mathchardef\hslash "0\hex\msbmfam 7D
+ \mathchardef\hbar "0\hex\msbmfam 7E
+ \mathchardef\backepsilon "3\hex\msbmfam 7F
+}
+
+