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
+}
+
+