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