% AMSMATH.STY -- Define control sequences for the AMS math symbol fonts.

\font\tenmsx=msxm10
\font\sevenmsx=msxm7
\font\fivemsx=msxm5
\font\tenmsy=msym10
\font\sevenmsy=msym7
\font\fivemsy=msym5

\newfam\msxfam \def\msx{\fam\msxfam\tenmsx} % \msx is LaTeX family 11
\textfont\msxfam=\tenmsx \scriptfont\msxfam=\sevenmsx
\scriptscriptfont\msxfam=\fivemsx
\newfam\msyfam \def\msy{\fam\msyfam\tenmsy} % \msy is LaTeX family 12
\textfont\msyfam=\tenmsy \scriptfont\msyfam=\sevenmsy
\scriptscriptfont\msyfam=\fivemsy

% Lowercase Greek letters

\mathchardef\digamma="0C7A
\mathchardef\varkappa="0C7B

% Uppercase bold blackboard letters (works like \mit or \cal)

\def\Bbb{\fam\msyfam}

%\mathchardef\BbbA="0C41
%\mathchardef\BbbB="0C42
%\mathchardef\BbbC="0C43
%\mathchardef\BbbD="0C44
%\mathchardef\BbbE="0C45
%\mathchardef\BbbF="0C46
%\mathchardef\BbbG="0C47
%\mathchardef\BbbH="0C48
%\mathchardef\BbbI="0C49
%\mathchardef\BbbJ="0C4A
%\mathchardef\BbbK="0C4B
%\mathchardef\BbbL="0C4C
%\mathchardef\BbbM="0C4D
%\mathchardef\BbbN="0C4E
%\mathchardef\BbbO="0C4F
%\mathchardef\BbbP="0C50
%\mathchardef\BbbQ="0C51
%\mathchardef\BbbR="0C52
%\mathchardef\BbbS="0C53
%\mathchardef\BbbT="0C54
%\mathchardef\BbbU="0C55
%\mathchardef\BbbV="0C56
%\mathchardef\BbbW="0C57
%\mathchardef\BbbX="0C58
%\mathchardef\BbbY="0C59
%\mathchardef\BbbZ="0C5A

% Hebrew letters

\mathchardef\beth="0C69
\mathchardef\gimel="0C6A
\mathchardef\daleth="0C6B

% Miscellaneous type Ord

\mathchardef\hbar="0C7E
\mathchardef\hslash="0C7D
\mathchardef\varnothing="0C3F
\mathchardef\circledS="0B73
\mathchardef\nexists="0C40
\mathchardef\complement="0B7B
\mathchardef\backprime="0B38
\mathchardef\square="0B03
\mathchardef\bigstar="0B46
\mathchardef\triangledown="0B4F
\mathchardef\lozenge="0B06
\mathchardef\measuredangle="0B5D
%\mathchardef\varprime="0B39
\mathchardef\blacksquare="0B04
\mathchardef\blacktriangle="0B4E
\mathchardef\blacktriangledown="0B48
\mathchardef\blacklozenge="0B07
\mathchardef\sphericalangle="0B5E

% Binary operations

\mathchardef\dotplus="2B75
\mathchardef\smallsetminus="2C72
\mathchardef\ltimes="2C6E
\mathchardef\rtimes="2C6F
\mathchardef\leftthreetimes="2B68
\mathchardef\rightthreetimes="2B69
\mathchardef\divideontimes="2C3E
\mathchardef\intercal="2B7C
\mathchardef\Cap="2B65
\mathchardef\Cup="2B64
\mathchardef\curlywedge="2B66
\mathchardef\curlyvee="2B67
\mathchardef\barwedge="2B5A
\mathchardef\veebar="2B59
\mathchardef\doublebarwedge="2B5B
\mathchardef\centerdot="2B05
\mathchardef\circledcirc="2B7D
\mathchardef\circledast="2B7E
\mathchardef\circleddash="2B7F
\mathchardef\boxplus="2B01
\mathchardef\boxminus="2B0C
\mathchardef\boxtimes="2B02
\mathchardef\boxdot="2B00

% Relations

\mathchardef\leqq="3B35
\mathchardef\leqslant="3B36
\mathchardef\eqslantless="3B30
\mathchardef\lesssim="3B2E
\mathchardef\lessapprox="3B2F
\mathchardef\lessdot="3C6C
\mathchardef\lll="3B6E
\mathchardef\lessgtr="3B37
\mathchardef\lesseqgtr="3B51
\mathchardef\lesseqqgtr="3B53
\mathchardef\subseteqq="3B6A
\mathchardef\Subset="3B62
\mathchardef\sqsubset="3B40
\mathchardef\preccurlyeq="3B34
\mathchardef\curlyeqprec="3B32
\mathchardef\precsim="3B2D
\mathchardef\precapprox="3C77
\mathchardef\vartriangleleft="3B43
\mathchardef\trianglelefteq="3B45
\mathchardef\vDash="3B0F
\mathchardef\smallsmile="3B60
\mathchardef\smallfrown="3B61
\mathchardef\backepsilon="3C7F
\mathchardef\geqq="3B3D
\mathchardef\geqslant="3B3E
\mathchardef\eqslantgtr="3B31
\mathchardef\gtrsim="3B26
\mathchardef\gtrapprox="3B27
\mathchardef\gtrdot="3C6D
\mathchardef\ggg="3B6F
\mathchardef\gtrless="3B3F
\mathchardef\gtreqless="3B52
\mathchardef\gtreqqless="3B54
\mathchardef\supseteqq="3B6B
\mathchardef\Supset="3B63
\mathchardef\sqsupset="3B41
\mathchardef\succcurlyeq="3B3C
\mathchardef\curlyeqsucc="3B33
\mathchardef\succsim="3B25
\mathchardef\succapprox="3C76
\mathchardef\vartriangleright="3B42
\mathchardef\trianglerighteq="3B44
\mathchardef\Vdash="3B0D
\mathchardef\shortmid="3C70
\mathchardef\shortparallel="3C71
\mathchardef\doteqdot="3B2B
\mathchardef\circeq="3B24
\mathchardef\eqcirc="3B50
\mathchardef\triangleq="3B2C
\mathchardef\risingdoteq="3B3A
\mathchardef\fallingdoteq="3B3B
\mathchardef\backsim="3B76
\mathchardef\backsimeq="3B77
\mathchardef\thicksim="3C73
\mathchardef\thickapprox="3C74
\mathchardef\approxeq="3C75
\mathchardef\bumpeq="3B6C
\mathchardef\Bumpeq="3B6D
\mathchardef\between="3B47
%\mathchardef\pitchfork="3B74
\mathchardef\varpropto="3B5F
\mathchardef\smallamalg="3B74
\mathchardef\blacktriangleleft="3B4A
\mathchardef\blacktriangleright="3B49
\mathchardef\Vvdash="3B0E
\mathchardef\therefore="3B29
\mathchardef\because="3B2A

% Negated relations

\mathchardef\nless="3C04
\mathchardef\nleq="3C02
\mathchardef\nleqslant="3C0A
\mathchardef\nleqq="3C14
\mathchardef\lneq="3C0C
\mathchardef\lneqq="3C08
\mathchardef\lvertneqq="3C00
\mathchardef\lnsim="3C12
\mathchardef\lnapprox="3C1A
\mathchardef\nprec="3C06
\mathchardef\npreceq="3C0E
\mathchardef\precneqq="3C16
\mathchardef\precnsim="3C10
\mathchardef\precnapprox="3C18
\mathchardef\nsubseteq="3C2A
\mathchardef\nsubseteqq="3C22
\mathchardef\subsetneq="3C28
\mathchardef\varsubsetneq="3C20
\mathchardef\subsetneqq="3C24
\mathchardef\varsubsetneqq="3C26
\mathchardef\ngtr="3C05
\mathchardef\ngeq="3C03
\mathchardef\ngeqslant="3C0B
\mathchardef\ngeqq="3C15
\mathchardef\gneq="3C0D
\mathchardef\gneqq="3C09
\mathchardef\gvertneqq="3C01
\mathchardef\gnsim="3C13
\mathchardef\gnapprox="3C1B
\mathchardef\nsucc="3C07
\mathchardef\nsucceq="3C0F
\mathchardef\succneqq="3C17
\mathchardef\succnsim="3C11
\mathchardef\succnapprox="3C19
\mathchardef\nsupseteq="3C2B
\mathchardef\nsupseteqq="3C23
\mathchardef\supsetneq="3C29
\mathchardef\varsupsetneq="3C21
\mathchardef\supsetneqq="3C25
\mathchardef\varsupsetneqq="3C27
\mathchardef\nsim="3C1C
\mathchardef\napprox="3C1D
\mathchardef\nshortmid="3C2E
\mathchardef\nshortparallel="3C2F
\mathchardef\nmid="3C2D
\mathchardef\nparallel="3C2C
\mathchardef\nvdash="3C30
\mathchardef\nvDash="3C32
\mathchardef\nVdash="3C31
\mathchardef\nVDash="3C33
\mathchardef\ntriangleleft="3C36
\mathchardef\ntriangleright="3C37
\mathchardef\ntrianglelefteq="3C35
\mathchardef\ntrianglerighteq="3C34

% Arrows

\mathchardef\leftleftarrows="3B12
\mathchardef\leftrightarrows="3B1C
\mathchardef\Lleftarrows="3B57
\mathchardef\twoheadleftarrow="3B11
\mathchardef\leftarrowtail="3B1B
\mathchardef\looparrowleft="3B22
\mathchardef\curvearrowleft="3C78
\mathchardef\circlearrowleft="3B09
\mathchardef\Lsh="3B1E
\mathchardef\rightsquigarrow="3B20
\mathchardef\rightrightarrows="3B13
\mathchardef\rightleftarrows="3B1D
\mathchardef\Rrightarrows="3B56
\mathchardef\twoheadrightarrow="3B10
\mathchardef\rightarrowtail="3B1A
\mathchardef\looparrowright="3B23
\mathchardef\curvearrowright="3C79
\mathchardef\circlearrowright="3B08
\mathchardef\Rsh="3B1F
\mathchardef\leftrightsquigarrow="3B21
\mathchardef\upuparrows="3B14
\mathchardef\downdownarrows="3B15
\mathchardef\updownarrow="3B0A
\mathchardef\upharpoonleft="3B18
\mathchardef\downharpoonleft="3B19
\mathchardef\upharpoonright="3B16
\mathchardef\downharpoonright="3B17
\mathchardef\leftrightharpoons="3B0B
\mathchardef\multimap="3B28

% Negated arrows

\mathchardef\nleftarrow="3C38
\mathchardef\nLeftarrow="3C3A
\mathchardef\nrightarrow="3C39
\mathchardef\nRightarrow="3C3B
\mathchardef\nleftrightarrow="3C3D
\mathchardef\nLeftrightarrow="3C3C

% Delimiters

\mathchardef\ulcorner="4B70
\mathchardef\llcorner="4B78
\mathchardef\urcorner="5B71
\mathchardef\lrcorner="5B79

% Non-math symbols

\mathchardef\checkmark="0B58
\mathchardef\maltese="0B7A
\mathchardef\circledR="0B72
\mathchardef\yen="0B55

\endinput
