summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex')
-rw-r--r--Master/texmf-dist/tex/latex/mdsymbol/mdsymbol.sty2155
1 files changed, 2155 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/mdsymbol/mdsymbol.sty b/Master/texmf-dist/tex/latex/mdsymbol/mdsymbol.sty
new file mode 100644
index 00000000000..dd07a817920
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/mdsymbol/mdsymbol.sty
@@ -0,0 +1,2155 @@
+%%
+%% This is file `mdsymbol.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% mdsymbol.dtx (with options: `style')
+%%
+%% Copyright (c) 2011 by Sebastian Schubert <schubert.seb@googlemail.com>
+%%
+%% This work may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either version 1.3c
+%% of this license or (at your option) any later version.
+%% The latest version of this license is in
+%% http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of LaTeX
+%% version 2005/12/01 or later.
+%%
+%% This work has the LPPL maintenance status `maintained'.
+%%
+%% The Current Maintainer of this work is Sebastian Schubert.
+%%
+%% This work consists of the files mdsymbol.dtx, mdsymbol.ins
+%% and the derived files mdsymbol.pdf and mdsymbol.sty.
+%%
+\NeedsTeXFormat{LaTeX2e}[1999/12/01]
+\ProvidesPackage{mdsymbol}[2012/01/07 v0.3 MdSymbol support package]
+\RequirePackage{xkeyval}
+\newcommand*\mdsy@choicekey[3]{%
+ \define@choicekey*{mdsymbol.sty}{#1}[\@tempa\@tempb]{#2}{#3}%
+}
+\define@boolkey{mdsymbol.sty}[mdsy@]{largedelims}[true]{}
+\define@boolkey{mdsymbol.sty}[mdsy@]{retainmissing}[true]{}
+\newcommand{\mdsy@scale}{1.0}
+\define@key{mdsymbol.sty}{scale}{\renewcommand\mdsy@scale{#1}}
+\define@boolkey{mdsymbol.sty}[mdsy@]{onlysansmath}[true]{}
+\newcommand\mdsy@mweight@normal{Regular}
+\newcommand\mdsy@mweight@small{Regular}
+\newcommand\mdsy@bweight@normal{Semibold}
+\newcommand\mdsy@bweight@small{Semibold}
+\mdsy@choicekey{normalweight}{light,regular,autolight,autoregular}{%
+ \ifcase\@tempb\relax
+ \renewcommand\mdsy@mweight@normal{Light}%
+ \renewcommand\mdsy@mweight@small{Light}%
+ \or
+ \renewcommand\mdsy@mweight@normal{Regular}%
+ \renewcommand\mdsy@mweight@small{Regular}%
+ \or
+ \renewcommand\mdsy@mweight@normal{Light}%
+ \renewcommand\mdsy@mweight@small{Regular}%
+ \or
+ \renewcommand\mdsy@mweight@normal{Regular}%
+ \renewcommand\mdsy@mweight@small{Semibold}%
+ \fi
+}
+\mdsy@choicekey{boldweight}{semibold,bold,autosemibold}{%
+ \ifcase\@tempb\relax
+ \renewcommand\mdsy@bweight@normal{Semibold}%
+ \renewcommand\mdsy@bweight@small{Semibold}%
+ \or
+ \renewcommand\mdsy@bweight@normal{Bold}%
+ \renewcommand\mdsy@bweight@small{Bold}%
+ \or
+ \renewcommand\mdsy@bweight@normal{Semibold}%
+ \renewcommand\mdsy@bweight@small{Bold}%
+ \fi
+}
+\ExecuteOptionsX{largedelims=false,onlysansmath=false,retainmissing=false}
+\ProcessOptionsX
+\@ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
+\@ifpackageloaded{textcomp}{}{\RequirePackage{textcomp}}
+\newcommand*\mdsy@if@tabular@math[1]{%
+ \@ifundefined{mv@tabular}{}{#1}%
+}
+\ifmdsy@onlysansmath
+ \DeclareMathVersion{sans}
+ \DeclareMathVersion{sansbold}
+ \DeclareMathVersion{sanstabular}
+ \DeclareMathVersion{sansboldtabular}
+
+ \newif\if@mdsy@sans@
+
+ \let\mathversion@old\mathversion
+ \def\sans@version{sans}
+ \def\sans@version@bold{sansbold}
+ \def\sans@version@tab{sanstabular}
+ \def\sans@version@bold@tab{sansboldtabular}
+ \renewcommand{\mathversion}[1]{%
+ \mathversion@old{#1}%
+ \@mdsy@sans@false%
+ \ifx\math@version\sans@version%
+ \@mdsy@sans@true%
+ \fi%
+ \ifx\math@version\sans@version@bold%
+ \@mdsy@sans@true%
+ \fi%
+ \ifx\math@version\sans@version@tab%
+ \@mdsy@sans@true%
+ \fi%
+ \ifx\math@version\sans@version@bold@tab%
+ \@mdsy@sans@true%
+ \fi%
+ }
+\fi
+\def\ifmathversionsans{%
+ \if@mdsy@sans@
+ \expandafter\@firstoftwo
+ \else
+ \expandafter\@secondoftwo
+ \fi
+}
+\RequirePackage{etoolbox}
+
+\newcommand\mdsy@setslot[1]{\@tempcnta #1\relax}
+\newcommand\mdsy@nextslot{\advance\@tempcnta 1\relax}
+\newcommand\mdsy@prevslot{\advance\@tempcnta-1\relax}
+
+\newcommand\mdsy@@DeclareSymbol[4]{\expandafter\DeclareMathSymbol\expandafter{\csname#2\endcsname}{#3}{#4}{#1}}
+
+\ifmdsy@onlysansmath
+ \newcommand\mdsy@OrigSymbol@not@def{%
+ \PackageError{mdsymbol}{Symbol is only available in sans-like mathversions}{%
+ Define symbol before loading mdsymbol with the onlysansmath option}
+ }
+ \newcommand\mdsy@DeclareSymbol[3]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}
+ \expandafter\mdsy@@DeclareSymbol\expandafter{\the\@tempcnta}{#1@sans}{#3}{#2}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+ \mdsy@nextslot
+ }
+ \newcommand\mdsy@DeclareDelimiter[4]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\DeclareMathDelimiter\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}{#3}{#4}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+ }
+ \newcommand\mdsy@DeclareOperator[3]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \csdef{#1@sans}{\DOTSB#3\slimits@}
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+ }
+ \newcommand\mdsy@DeclareIntegral[3]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \csdef{#1@sans}{\DOTSI#3\ilimits@}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+ }
+ \newcommand\mdsy@DeclareMathSymbol[4]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\DeclareMathSymbol\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+ }
+ \newcommand\mdsy@DeclareMathDelimiter[6]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\DeclareMathDelimiter\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}{#5}{#6}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+ }
+ \newcommand\mdsy@DeclareMathAccent[4]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\DeclareMathAccent\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+ }
+ \newcommand\mdsy@DeclareMathRadical[5]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\DeclareMathRadical\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}{#5}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+ }
+ \newcommand{\mdsy@DeclareActiveMathSymbol}[4]{%
+ \ifnum\mathcode`#1="8000 %
+ \errmessage{`#1' is already active}%
+ \fi
+ \expandafter\mathchardef\csname#1@old\endcsname=\mathcode`#1 %
+ \expandafter\DeclareMathSymbol\csname#1@new\endcsname{#2}{#3}{#4}
+ \begingroup
+ \lccode`\~=`#1 %
+ \lowercase{\endgroup
+ \def~%
+ }{\ifmathversionsans{\csname#1@new\endcsname}{\csname#1@old\endcsname}}%
+ \mathcode`#1="8000 %
+ }
+ \newcommand{\mdsy@DeclareActiveMathDelimiter}[4]{%
+ % don't know how to implement an active math delimiter; so declare
+ % it as an active math symbol instead
+ \mdsy@DeclareActiveMathSymbol{#1}{#2}{#3}{#4}
+ }
+ \newcommand{\mdsy@renewcommand}[2]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\newcommand\csname #1@sans\endcsname{#2}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+ }
+ \newcommand{\mdsy@DeclareRobustCommandArg}[3]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\DeclareRobustCommand\csname #1@sans\endcsname[#2]{#3}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+ }
+ \newcommand{\mdsy@DeclareRobustCommand}[2]{%
+ \ifcsdef{#1}{%
+ \csletcs{#1@old}{#1}%
+ }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+ \expandafter\DeclareRobustCommand\csname #1@sans\endcsname{#2}%
+ \csundef{#1}%
+ \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+ }
+\else
+ \let\ifmathversionsans\undefined
+ \newcommand\mdsy@DeclareSymbol[3]{%
+ \csundef{#1}%
+ \expandafter\mdsy@@DeclareSymbol\expandafter{\the\@tempcnta}{#1}{#3}{#2}%
+ \mdsy@nextslot
+ }
+ \newcommand\mdsy@DeclareDelimiter[4]{%
+ \csundef{#1}%
+ \expandafter\DeclareMathDelimiter\expandafter{\csname#1\endcsname}{#2}{#3}{#4}{#3}{#4}%
+ }
+ \newcommand\mdsy@DeclareOperator[3]{%
+ \csdef{#1}{\DOTSB#3\slimits@}%
+ }
+ \newcommand\mdsy@DeclareIntegral[3]{%
+ \csdef{#1}{\DOTSI#3\ilimits@}%
+ }
+ \newcommand\mdsy@DeclareMathSymbol[4]{%
+ \expandafter\DeclareMathSymbol\expandafter{\csname#1\endcsname}{#2}{#3}{#4}%
+ }
+ \newcommand\mdsy@DeclareMathDelimiter[6]{%
+ \expandafter\DeclareMathDelimiter\expandafter{\csname#1\endcsname}{#2}{#3}{#4}{#5}{#6}%
+ }
+ \newcommand\mdsy@DeclareMathAccent[4]{%
+ \expandafter\DeclareMathAccent\expandafter{\csname#1\endcsname}{#2}{#3}{#4}%
+ }
+ \newcommand\mdsy@DeclareMathRadical[5]{%
+ \expandafter\DeclareMathRadical\expandafter{\csname#1\endcsname}{#2}{#3}{#4}{#5}%
+ }
+ \newcommand\mdsy@DeclareActiveMathSymbol[4]{%
+ \DeclareMathSymbol{#1}{#2}{#3}{#4}%
+ }
+ \newcommand\mdsy@DeclareActiveMathDelimiter[4]{%
+ \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}%
+ }
+ \newcommand{\mdsy@renewcommand}[2]{%
+ \expandafter\providecommand\csname #1\endcsname{#2}%
+ }
+ \newcommand{\mdsy@DeclareRobustCommand}[2]{%
+ \expandafter\DeclareRobustCommand\csname#1\endcsname{#2}%
+ }
+ \newcommand{\mdsy@DeclareRobustCommandArg}[3]{%
+ \expandafter\DeclareRobustCommand\csname#1\endcsname[#2]{#3}%
+ }
+\fi
+
+\newcommand\mdsy@DeclareAlias[3]{\mdsy@prevslot\mdsy@DeclareSymbol{#1}{#2}{#3}}
+
+\newcommand\mdsy@DeclareOpen[3]{\mdsy@DeclareDelimiter{#1}{\mathopen}{#2}{#3}}
+\newcommand\mdsy@DeclareClose[3]{\mdsy@DeclareDelimiter{#1}{\mathclose}{#2}{#3}}
+\ifmdsy@largedelims
+ \mdsy@renewcommand{Big}{\bBigg@{1.25}}
+ \mdsy@renewcommand{bigg}{\bBigg@{1.66}}
+ \mdsy@renewcommand{Bigg}{\bBigg@{2.08}}
+\fi
+\ifmdsy@retainmissing
+\else
+ \mdsy@DeclareRobustCommand{dagger}{\mdsy@text{\textdagger}}
+ \mdsy@DeclareRobustCommand{ddagger}{\mdsy@text{\textdaggerdbl}}
+ \mdsy@DeclareRobustCommand{mathparagraph}{\mdsy@text{\textparagraph}}
+ \mdsy@DeclareRobustCommand{mathsection}{\mdsy@text{\textsection}}
+ \mdsy@DeclareRobustCommand{mathdollar}{\mdsy@text{\textdollar}}
+ \mdsy@DeclareRobustCommand{mathsterling}{\mdsy@text{\textsterling}}
+ \mdsy@DeclareRobustCommand{yen}{\mdsy@text{\textyen}}
+ \mdsy@DeclareRobustCommand{circledR}{\mdsy@text{\textcircled{%
+ \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont R}}}
+ \mdsy@DeclareRobustCommand{circledS}{\mdsy@text{\textcircled{%
+ \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont S}}}
+ \mdsy@DeclareRobustCommand{Re}{\mathfrak{R}}
+ \mdsy@DeclareRobustCommand{Im}{\mathfrak{I}}
+ \mdsy@DeclareRobustCommand{dotcong}{\mathrel{\dot{\cong}}}
+ \mdsy@DeclareRobustCommand{thicksim}{\mathrel{\text{\boldmath$\m@th\sim$}}}
+ \mdsy@DeclareRobustCommand{thickapprox}{\mathrel{\text{\boldmath$\m@th\approx$}}}
+ \mdsy@DeclareRobustCommand{hslash}{\middleslash h}
+ \mdsy@DeclareRobustCommand{centerdot}{\mathbin{\rule{0.15em}{0.15em}}}
+ \mdsy@DeclareRobustCommand{lambdabar}{\middlebar\lambda}
+ \mdsy@DeclareRobustCommand{lambdaslash}{\middleslash\lambda}
+ \@ifpackageloaded{MyriadPro}{}{%
+ \mdsy@DeclareRobustCommand{hbar}{\middlebar h}%
+ }
+\fi
+\ifmdsy@onlysansmath
+\else
+ \let\mapstochar\undefined
+ \let\lhook\undefined
+ \let\rhook\undefined
+\fi
+\DeclareFontFamily{U}{MdSymbolA}{}
+\DeclareFontFamily{U}{MdSymbolB}{}
+\DeclareFontFamily{U}{MdSymbolC}{}
+\DeclareFontFamily{U}{MdSymbolD}{}
+\DeclareFontFamily{U}{MdSymbolE}{}
+\DeclareFontFamily{U}{MdSymbolF}{}
+
+\RequirePackage{fltpoint}
+\fpDecimalSign{.}
+\newcommand*{\mdsy@calc@bsize}[2]{\fpDiv{#1}{#2}{\mdsy@scale}}
+
+\mdsy@calc@bsize{\mdsy@s@medium}{6}
+\mdsy@calc@bsize{\mdsy@s@bold}{6}
+
+\DeclareFontShape{U}{MdSymbolA}{m}{n}{
+ < -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolA-\mdsy@mweight@small
+ <\mdsy@s@medium- > s * [\mdsy@scale] MdSymbolA-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolA}{b}{n}{
+ < - \mdsy@s@bold> s * [\mdsy@scale] MdSymbolA-\mdsy@bweight@small
+ <\mdsy@s@bold - > s * [\mdsy@scale] MdSymbolA-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolB}{m}{n}{
+ < -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolB-\mdsy@mweight@small
+ <\mdsy@s@medium- > s * [\mdsy@scale] MdSymbolB-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolB}{b}{n}{
+ < - \mdsy@s@bold> s * [\mdsy@scale] MdSymbolB-\mdsy@bweight@small
+ <\mdsy@s@bold - > s * [\mdsy@scale] MdSymbolB-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolC}{m}{n}{
+ < -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolC-\mdsy@mweight@small
+ <\mdsy@s@medium- > s * [\mdsy@scale] MdSymbolC-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolC}{b}{n}{
+ < - \mdsy@s@bold> s * [\mdsy@scale] MdSymbolC-\mdsy@bweight@small
+ <\mdsy@s@bold - > s * [\mdsy@scale] MdSymbolC-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolD}{m}{n}{
+ < -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolD-\mdsy@mweight@small
+ <\mdsy@s@medium- > s * [\mdsy@scale] MdSymbolD-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolD}{b}{n}{
+ < - \mdsy@s@bold> s * [\mdsy@scale] MdSymbolD-\mdsy@bweight@small
+ <\mdsy@s@bold - > s * [\mdsy@scale] MdSymbolD-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolE}{m}{n}{
+ < -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolE-\mdsy@mweight@small
+ <\mdsy@s@medium- > s * [\mdsy@scale] MdSymbolE-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolE}{b}{n}{
+ < - \mdsy@s@bold> s * [\mdsy@scale] MdSymbolE-\mdsy@bweight@small
+ <\mdsy@s@bold - > s * [\mdsy@scale] MdSymbolE-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolF}{m}{n}{
+ < -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolF-\mdsy@mweight@small
+ <\mdsy@s@medium- > s * [\mdsy@scale] MdSymbolF-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolF}{b}{n}{
+ < - \mdsy@s@bold> s * [\mdsy@scale] MdSymbolF-\mdsy@bweight@small
+ <\mdsy@s@bold - > s * [\mdsy@scale] MdSymbolF-\mdsy@bweight@normal
+}{}
+
+\newcommand\IfUndefSymbolFont[3]{\@ifundefined{sym#1}{#2}{#3}}
+\newcommand{\mdsy@DeclareSymbolFont}[3]{%
+ \IfUndefSymbolFont{#1}{%
+ \DeclareSymbolFont{#1}{#2}{#3}{m}{n}
+ }{%
+ \ifmdsy@onlysansmath%
+ \SetSymbolFont{#1}{sans}{#2}{#3}{m}{n}%
+ \SetSymbolFont{#1}{sanstabular}{#2}{#3}{m}{n}%
+ \else%
+ \SetSymbolFont{#1}{normal}{#2}{#3}{m}{n}%
+ \mdsy@if@tabular@math{\SetSymbolFont{#1}{tabular}{#2}{#3}{m}{n}}%
+ \fi%
+ }
+ \ifmdsy@onlysansmath%
+ \SetSymbolFont{#1}{sansbold}{#2}{#3}{b}{n}%
+ \SetSymbolFont{#1}{sansboldtabular}{#2}{#3}{b}{n}%
+ \else%
+ \SetSymbolFont{#1}{bold}{#2}{#3}{b}{n}%
+ \mdsy@if@tabular@math{\SetSymbolFont{#1}{boldtabular}{#2}{#3}{b}{n}}%
+ \fi%
+}
+
+\mdsy@DeclareSymbolFont{symbols}{U}{MdSymbolA}
+\mdsy@DeclareSymbolFont{relations}{U}{MdSymbolB}
+\mdsy@DeclareSymbolFont{arrows}{U}{MdSymbolC}
+\mdsy@DeclareSymbolFont{narrows}{U}{MdSymbolD}
+\mdsy@DeclareSymbolFont{largesymbols}{U}{MdSymbolE}
+\mdsy@DeclareSymbolFont{delimiters}{U}{MdSymbolF}
+
+\def\mdsy@bold{bold}
+\newcommand*\mdsy@text[1]{%
+ \ifx\mdsy@bold\math@version
+ \text{\sffamily\bfseries#1}%
+ \else
+ \text{\sffamily\mdseries#1}%
+ \fi
+}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{cdot}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{cdotp}{symbols}{\mathpunct}
+\mdsy@DeclareSymbol{hdotdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{vdotdot}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{colon}{symbols}{\mathpunct}
+ \mdsy@DeclareAlias{mathcolon}{symbols}{\mathpunct}
+ \mdsy@DeclareAlias{mathratio}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{udotdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ddotdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{hdots}{symbols}{\mathord}
+ \mdsy@DeclareAlias{@cdots}{symbols}{\mathinner}
+ \mdsy@DeclareAlias{cdots}{symbols}{\mathinner}
+\mdsy@DeclareSymbol{@vdots}{symbols}{\mathord}
+\mdsy@DeclareRobustCommand{vdots}{\ifmmode\@vdots\else\hbox{$\@vdots$}\fi}
+\mdsy@DeclareSymbol{udots}{symbols}{\mathord}
+ \mdsy@DeclareAlias{adots}{symbols}{\mathord}
+\mdsy@DeclareSymbol{ddots}{symbols}{\mathord}
+\mdsy@DeclareSymbol{righttherefore}{symbols}{\mathord}
+\mdsy@DeclareSymbol{uptherefore}{symbols}{\mathord}
+ \mdsy@DeclareAlias{therefore}{symbols}{\mathord}
+\mdsy@DeclareSymbol{lefttherefore}{symbols}{\mathord}
+\mdsy@DeclareSymbol{downtherefore}{symbols}{\mathord}
+ \mdsy@DeclareAlias{because}{symbols}{\mathord}
+\mdsy@DeclareSymbol{squaredots}{symbols}{\mathord}
+ \mdsy@DeclareAlias{Colon}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{minus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medslash}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smalldivslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medbackslash}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smallsetminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{plus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{times}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dotminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{minusdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{div}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{minusfdots}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{minusrdots}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dotsminusdots}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{pm}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{mp}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dotplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{plusdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dottimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{timesbar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{divideontimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{neg}{symbols}{\mathord}
+ \mdsy@DeclareAlias{lnot}{symbols}{\mathord}
+ \mdsy@DeclareAlias{minushookdown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{backneg}{symbols}{\mathord}
+ \mdsy@DeclareAlias{hookdownminus}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{invneg}{symbols}{\mathord}
+ \mdsy@DeclareAlias{invnot}{symbols}{\mathord}
+\mdsy@DeclareSymbol{intprod}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{minushookup}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{turnedneg}{symbols}{\mathord}
+ \mdsy@DeclareAlias{turnednot}{symbols}{\mathord}
+\mdsy@DeclareSymbol{intprodr}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{hookupminus}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{turnedbackneg}{symbols}{\mathord}
+\mdsy@DeclareSymbol{leftthreetimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{rightthreetimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dtimes}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{btimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{rtimes}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{rJoin}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{utimes}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{ttimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ltimes}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{lJoin}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{bowtie}{symbols}{\mathrel}
+ \mdsy@DeclareAlias{Join}{symbols}{\mathrel}
+ \mdsy@DeclareAlias{lrtimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{upbowtie}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{hourglass}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{rightY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{upY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{leftY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{downY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{wedge}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{land}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{vee}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{lor}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{wedgedot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{veedot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublewedge}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{wedgeonwedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublevee}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{veeonvee}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{curlywedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{curlyvee}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{barwedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{veebar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublebarwedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{veedoublebar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublecup}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{Cup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublecap}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{Cap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cupdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{capdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cupplus}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{uplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{capplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublesqcup}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{Sqcup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublesqcap}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{Sqcap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcupdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcapdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcupplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcapplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{pullback}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{pushout}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangleup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangleup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangleright}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{triangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangleup}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{triangle}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{vartriangle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangleleft}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{triangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangledown}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{triangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangleright}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{blacktriangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangleup}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{blacktriangle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangleleft}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{blacktriangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangledown}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{blacktriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largetriangleup}{symbols}{\mathord}
+ \mdsy@DeclareAlias{bigtriangleup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largetriangledown}{symbols}{\mathord}
+ \mdsy@DeclareAlias{bigtriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallcircle}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{circ}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smwhtcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblackcircle}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{bullet}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smblkcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medcircle}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdlgwhtcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblackcircle}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdlgblkcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ominus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{overt}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{circledvert}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{obackslash}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{obslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{otimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{odot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ocirc}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{circledcirc}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oast}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{circledast}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{odash}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{circleddash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oequal}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{circledequal}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{emptyset}{symbols}{\mathord}
+ \mdsy@DeclareAlias{diameter}{symbols}{\mathord}
+ \mdsy@DeclareAlias{varnothing}{symbols}{\mathord}
+\mdsy@DeclareSymbol{revemptyset}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largecircle}{symbols}{\mathord}
+ \mdsy@DeclareAlias{bigcirc}{symbols}{\mathord}
+ \mdsy@DeclareAlias{lgwhtcircle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largeblackcircle}{symbols}{\mathord}
+ \mdsy@DeclareAlias{lgblkcircle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallsquare}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smwhtsquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacksquare}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smblksquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medsquare}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{square}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{Box}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdlgwhtsquare}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdwhtsquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacksquare}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdlgblksquare}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdblksquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxvert}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{boxbar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxslash}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{boxdiag}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxbackslash}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{boxbslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxtimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxbox}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largesquare}{symbols}{\mathord}
+ \mdsy@DeclareAlias{lgwhtsquare}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largeblacksquare}{symbols}{\mathord}
+ \mdsy@DeclareAlias{lgblksquare}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smalldiamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{diamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smwhtdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblackdiamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{blackdiamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smblkdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{meddiamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{Diamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdlgwhtdiamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdwhtdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblackdiamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdlgblkdiamond}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{mdblkdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondvert}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondbackslash}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{diamondbslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondtimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamonddot}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{diamondcdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamonddiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalllozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{smwhtlozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallblacklozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{smblklozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{medlozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{lozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{mdlgwhtlozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{mdwhtlozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{medblacklozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{blacklozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{mdlgblklozenge}{symbols}{\mathord}
+ \mdsy@DeclareAlias{mdblklozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{lozengeminus}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallwhitestar}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{smwhitestar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblackstar}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{star}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medwhitestar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblackstar}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{medstar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largewhitestar}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largeblackstar}{symbols}{\mathord}
+ \mdsy@DeclareAlias{bigstar}{symbols}{\mathord}
+\mdsy@DeclareSymbol{ast}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{infty}{symbols}{\mathord}
+\mdsy@DeclareSymbol{propto}{symbols}{\mathrel}
+ \mdsy@DeclareAlias{varpropto}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{backpropto}{symbols}{\mathrel}
+ \mdsy@DeclareAlias{propfrom}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{crossing}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{between}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{intercal}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{wreath}{symbols}{\mathbin}
+ \mdsy@DeclareAlias{wr}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{angle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{revangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{measuredangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{revmeasuredangle}{symbols}{\mathord}
+ \mdsy@DeclareAlias{measuredangleleft}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangleup}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangleleft}{symbols}{\mathord}
+ \mdsy@DeclareAlias{revsphericalangle}{symbols}{\mathord}
+ \mdsy@DeclareAlias{gtlpar}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangledown}{symbols}{\mathord}
+\mdsy@DeclareSymbol{rightangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{measuredrightangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{rightanglesquare}{symbols}{\mathord}
+ \mdsy@DeclareAlias{rightanglesqr}{symbols}{\mathord}
+\mdsy@DeclareSymbol{measuredrightangledot}{symbols}{\mathord}
+ \mdsy@DeclareAlias{rightanglemdot}{symbols}{\mathord}
+\mdsy@DeclareSymbol{prime}{symbols}{\mathord}
+\mdsy@DeclareSymbol{backprime}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallprod}{symbols}{\mathop}
+\mdsy@DeclareSymbol{smallcoprod}{symbols}{\mathop}
+ \mdsy@DeclareAlias{amalg}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallint}{symbols}{\mathop}
+\mdsy@DeclareSymbol{checkmark}{symbols}{\mathord}
+\mdsy@DeclareSymbol{lightning}{symbols}{\mathord}
+ \mdsy@DeclareAlias{downzigzagarrow}{symbols}{\mathord}
+\mdsy@DeclareSymbol{diamondsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{vardiamondsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{heartsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{varheartsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{spadesuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{clubsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{maltese}{symbols}{\mathord}
+\mdsy@DeclareSymbol{starofdavid}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sector}{symbols}{\mathord}
+\mdsy@DeclareSymbol{forall}{symbols}{\mathord}
+\mdsy@DeclareSymbol{exists}{symbols}{\mathord}
+\mdsy@DeclareSymbol{nexists}{symbols}{\mathord}
+\mdsy@DeclareSymbol{Finv}{symbols}{\mathord}
+\mdsy@DeclareSymbol{Game}{symbols}{\mathord}
+\mdsy@DeclareSymbol{complement}{symbols}{\mathord}
+\mdsy@DeclareSymbol{flat}{symbols}{\mathord}
+\mdsy@DeclareSymbol{natural}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sharp}{symbols}{\mathord}
+\mdsy@DeclareSymbol{aleph}{symbols}{\mathord}
+\mdsy@DeclareSymbol{beth}{symbols}{\mathord}
+\mdsy@DeclareSymbol{gimel}{symbols}{\mathord}
+\mdsy@DeclareSymbol{daleth}{symbols}{\mathord}
+\mdsy@DeclareSymbol{wp}{symbols}{\mathord}
+\mdsy@DeclareSymbol{nabla}{symbols}{\mathord}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{equal}{relations}{\mathrel}
+\mdsy@DeclareSymbol{equiv}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{approx}{relations}{\mathrel}
+\mdsy@DeclareSymbol{triplesim}{relations}{\mathrel}
+ \mdsy@DeclareAlias{approxident}{relations}{\mathrel}
+\mdsy@DeclareSymbol{simeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backsimeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{cong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backcong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{approxeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{bumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{bumpeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Bumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{doteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Doteq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{doteqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{fallingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{risingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{coloneq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{coloneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqcolon}{relations}{\mathrel}
+ \mdsy@DeclareAlias{eqqcolon}{relations}{\mathrel}
+\mdsy@DeclareSymbol{smile}{relations}{\mathrel}
+ \mdsy@DeclareAlias{smallsmile}{relations}{\mathrel}
+\mdsy@DeclareSymbol{frown}{relations}{\mathrel}
+ \mdsy@DeclareAlias{smallfrown}{relations}{\mathrel}
+\mdsy@DeclareSymbol{smilefrown}{relations}{\mathrel}
+ \mdsy@DeclareAlias{asymp}{relations}{\mathrel}
+\mdsy@DeclareSymbol{frownsmile}{relations}{\mathrel}
+ \mdsy@DeclareAlias{closure}{relations}{\mathrel}
+\mdsy@DeclareSymbol{smileeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{frowneq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{arceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqcirc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{circeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{wedgeq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{hateq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{veeeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{stareq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{triangleeq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{triangleq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{in}{relations}{\mathrel}
+\mdsy@DeclareSymbol{owns}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ni}{relations}{\mathrel}
+\mdsy@DeclareSymbol{less}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{le}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ge}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesssim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesseqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtreqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesseqqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtreqqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesseqslantgtr}{relations}{\mathrel}
+ \mdsy@DeclareAlias{lesg}{relations}{\mathrel}
+ \mdsy@DeclareAlias{lesseqgtrslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtreqslantless}{relations}{\mathrel}
+ \mdsy@DeclareAlias{gesl}{relations}{\mathrel}
+ \mdsy@DeclareAlias{gtreqlessslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ll}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gg}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lll}{relations}{\mathrel}
+ \mdsy@DeclareAlias{llless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ggg}{relations}{\mathrel}
+ \mdsy@DeclareAlias{gggtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{lhd}{relations}{\mathbin}
+ \mdsy@DeclareAlias{vartriangleleft}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{rhd}{relations}{\mathbin}
+ \mdsy@DeclareAlias{vartriangleright}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{unlhd}{relations}{\mathbin}
+ \mdsy@DeclareAlias{trianglelefteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{unrhd}{relations}{\mathbin}
+ \mdsy@DeclareAlias{trianglerighteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesscc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ltcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrcc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{gtcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqslcc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{lescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqslcc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{gescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Sqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Sqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Subset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Supset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{prec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succ}{relations}{\mathrel}
+\mdsy@DeclareSymbol{preceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{preccurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succcurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{preceqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqslantdot}{relations}{\mathrel}
+ \mdsy@DeclareAlias{lesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqslantdot}{relations}{\mathrel}
+ \mdsy@DeclareAlias{gesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqslantless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqslantgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{curlyeqprec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{curlyeqsucc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nequal}{relations}{\mathrel}
+ \mdsy@DeclareAlias{neq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ne}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nequiv}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbacksim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{napprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ntriplesim}{relations}{\mathrel}
+ \mdsy@DeclareAlias{napproxident}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsimeq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nsime}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbacksimeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbackcong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{napproxeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbumpeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nBumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ndoteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nDoteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfallingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nrisingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsmile}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfrown}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsmilefrown}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nasymp}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfrownsmile}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nclosure}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsmileeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfrowneq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{narceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqcirc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncirceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nwedgeq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nhateq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nveeeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nstareq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ntriangleeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nin}{relations}{\mathrel}
+ \mdsy@DeclareAlias{notin}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nowns}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nni}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesssim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesseqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtreqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesseqqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtreqqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesseqslantgtr}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nlesg}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nlesseqgtrslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtreqslantless}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ngesl}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ngtreqlessslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nll}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngg}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlll}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nggg}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ntriangleleft}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ntriangleright}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ntrianglelefteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqclosed}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ntrianglerighteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesscc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nltcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrcc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ngtcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqslcc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nlescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqslcc}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ngescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsubseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsupseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsubseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsupseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsubseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsupseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsubseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsupseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nprec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{npreceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{npreccurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucccurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{npreceqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucceqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nprecsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsuccsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nprecapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsuccapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqslantdot}{relations}{\mathrel}
+ \mdsy@DeclareAlias{nlesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqslantdot}{relations}{\mathrel}
+ \mdsy@DeclareAlias{ngesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqslantless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqslantgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncurlyeqprec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncurlyeqsucc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{simneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backsimneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lneqq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{lvertneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gneqq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{gvertneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lnapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gnapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subsetneq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{varsubsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supsetneq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{varsupsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subsetneqq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{varsubsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supsetneqq}{relations}{\mathrel}
+ \mdsy@DeclareAlias{varsupsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precnapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succnapprox}{relations}{\mathrel}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{rightarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{to}{arrows}{\mathrel}
+\mdsy@nextslot %uparrow defined below
+\mdsy@DeclareSymbol{leftarrow}{arrows}{\mathrel}
+\mdsy@DeclareAlias{gets}{arrows}{\mathrel}
+\mdsy@nextslot %downarrow defined below
+\mdsy@DeclareSymbol{nearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{searrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rightarrow}{arrows}{\mathrel}
+\mdsy@nextslot %Uparrow defined below
+\mdsy@DeclareSymbol{Leftarrow}{arrows}{\mathrel}
+\mdsy@nextslot %Downarrow defined below
+\mdsy@DeclareSymbol{Nearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Nwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Swarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Searrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightarrow}{arrows}{\mathrel}
+\mdsy@nextslot %updownarrow defined below
+\mdsy@DeclareSymbol{neswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwsearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Leftrightarrow}{arrows}{\mathrel}
+\mdsy@nextslot %Updownarrow defined below
+\mdsy@DeclareSymbol{Neswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Nwsearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheaduparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheaddownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadnearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadnwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadsearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{uparrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nearrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{searrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{mapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{mapsup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{mapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{mapsdown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rightmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Mapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Upmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Mapsup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Leftmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Mapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Downmapsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Mapsdown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookrightarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhookrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookuparrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhookuparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookleftarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhookleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookdownarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhookdownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhooknearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhooknearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hooknwarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{hknwarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhooknwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookswarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhookswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hooksearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{hksearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{lhooksearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookrightarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhookrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookuparrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhookuparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookleftarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhookleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookdownarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhookdownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hooknearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{hknearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhooknearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhooknwarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhooknwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookswarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{hkswarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhookswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhooksearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rhooksearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightharpoonup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upharpoonleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftharpoondown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downharpoonright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neharpoonnw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwharpoonsw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swharpoonse}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{seharpoonne}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightharpoondown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upharpoonright}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{restriction}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftharpoonup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downharpoonleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neharpoonse}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwharpoonne}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swharpoonnw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{seharpoonsw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightharpoonupdown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownharpoonleftright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswharpoonnwse}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwseharpoonnesw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightharpoondownup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownharpoonrightleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswharpoonsenw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwseharpoonswne}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightleftharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownharpoons}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{updownharpoonsleftright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{senwharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downupharpoons}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downupharpoonsleftright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swneharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwseharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightbkarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{dasharrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{dashrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftbkarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{dashleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nebkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{sebkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightspoon}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{multimap}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upspoon}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{cirmid}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftspoon}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{multimapinv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downspoon}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{midcir}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightspoon}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{dualmap}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{blackwhitespoon}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{imageof}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{whiteblackspoon}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{origof}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightpitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{uppitchfork}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{pitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftpitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downpitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightrightarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upuparrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftleftarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downdownarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nenearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwnwarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swswarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{sesearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightleftarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwsearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downuparrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swnearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{senwarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leadsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightsquigarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightlsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varupwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{uplsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varleftwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftlsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downlsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varrightwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightrsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{uprsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftsquigarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftrsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{vardownwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downrsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftrightsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{updownsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varleftrightwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightleftsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varupdownwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downupsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwoverarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{curvearrowright}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwleftarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{uplcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwunderarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwrightarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwnwarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightupcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{nelcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwswarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{upleftcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{nwlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwsearcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftdowncurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{swlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwnearcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downrightcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{selcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwunderarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwrightarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{uprcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwoverarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{curvearrowleft}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwleftarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwsearcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{uprightcurvearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{nercurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwnearcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftupcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{nwrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwnwarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downleftcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{swrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwswarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightdowncurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{sercurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdoverarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{leftrightcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdleftarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{updowncurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdunderarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{rightleftcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdrightarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{downupcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdnwarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{neswcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdswarcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{nwsecurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdsearcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{swnecurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdnearcarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{senwcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftfootline}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightfootline}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowleft}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{circlearrowleft}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{acwopencirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowdown}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{acwgapcirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowdown}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{cwgapcirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowright}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{circlearrowright}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{cwopencirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Uuparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Lleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Ddownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longleftrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longmapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longmapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longmapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longmapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longrightwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{longleadsto}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{longrightsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftwavearrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{longleftsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftfootline}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{vlongdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longrightfootline}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{longdashv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Lsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Ldsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rdsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{looparrowright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{looparrowleft}{arrows}{\mathrel}
+\mdsy@setslot{224}
+\mdsy@DeclareSymbol{rightvdash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{vdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upvdash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{perp}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{bot}{arrows}{\mathord}
+\mdsy@DeclareSymbol{leftvdash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{dashv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downvdash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{top}{arrows}{\mathord}
+\mdsy@DeclareSymbol{rightassert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{assert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{shortrighttack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upassert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{shortuptack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftassert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{shortlefttack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downassert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{shortdowntack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightvDash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{vDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upvDash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Vbar}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftvDash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Dashv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downvDash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{barV}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightmodels}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{models}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upmodels}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftmodels}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downmodels}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightVdash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Vdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upVdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftVdash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{dashV}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downVdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightAssert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Assert}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upAssert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{vBar}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftAssert}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downAssert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Barv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightVDash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{VDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upVDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftVDash}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{DashV}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downVDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Vvdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{dashVv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{vDdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Ddashv}{arrows}{\mathrel}
+
+\mdsy@DeclareRobustCommand{relbar}{\mathrel{\smash-}}
+\mdsy@DeclareRobustCommand{Relbar}{\mathrel=}
+\mdsy@DeclareRobustCommand{joinrel}{\mathrel{\mkern-4mu}}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{nrightarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ngets}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nRightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLeftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nSwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nSearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLeftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUpdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNeswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNwsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheaduparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheaddownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadnearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadnwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nuparrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnearrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsearrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmapsup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmapsdown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nRightmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nMapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUpmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nMapsup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLeftmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nMapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDownmapsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nMapsdown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhooknearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhooknwarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nhknwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhooksearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nhksearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhooknearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nhknearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhooknwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookswarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nhkswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhooksearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightharpoonup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupharpoonleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftharpoondown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownharpoonright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneharpoonnw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwharpoonsw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswharpoonse}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nseharpoonne}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightharpoondown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupharpoonright}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrestriction}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftharpoonup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownharpoonleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneharpoonse}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwharpoonne}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswharpoonnw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nseharpoonsw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightharpoonupdown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownharpoonleftright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswharpoonnwse}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwseharpoonnesw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightharpoondownup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownharpoonrightleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswharpoonsenw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwseharpoonswne}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightleftharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownharpoons}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nupdownharpoonsleftright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsenwharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownupharpoons}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownupharpoonsleftright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswneharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwseharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightbkarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndasharrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndashrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftbkarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndashleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnebkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsebkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightspoon}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmultimap}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupspoon}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ncirmid}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftspoon}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmultimapinv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownspoon}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmidcir}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightspoon}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndualmap}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nblackwhitespoon}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nimageof}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nwhiteblackspoon}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{norigof}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightpitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nuppitchfork}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{npitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftpitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownpitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightrightarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupuparrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftleftarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndowndownarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnenearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwnwarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswswarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsesearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightleftarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwsearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownuparrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswnearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsenwarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleadsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightsquigarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightlsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarupwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nuplsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarleftwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftlsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownlsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarrightwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightrsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nuprsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftsquigarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftcurvedarrow}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftrsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvardownwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownrsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftrightsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nupdownsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarleftrightwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightleftsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarupdownwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownupsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwoverarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ncurvearrowright}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwleftarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nuplcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwunderarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwrightarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwnwarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightupcurvedarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nnelcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwswarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nupleftcurvedarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nnwlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwsearcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftdowncurvedarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nswlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwnearcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownrightcurvedarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nselcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwunderarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwrightarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nuprcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwoverarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ncurvearrowleft}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwleftarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwsearcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nuprightcurvearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nnercurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwnearcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftupcurvedarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nnwrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwnwarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownleftcurvedarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nswrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwswarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightdowncurvedarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nsercurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdoverarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nleftrightcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdleftarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nupdowncurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdunderarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nrightleftcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdrightarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndownupcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdnwarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nneswcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdswarcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nnwsecurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdsearcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nswnecurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdnearcarrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nsenwcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftfootline}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightfootline}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowleft}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ncirclearrowleft}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nacwopencirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowdown}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nacwgapcirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowdown}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ncwgapcirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowright}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ncirclearrowright}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ncwopencirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nRrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongleftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongmapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongmapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongmapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongmapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongrightwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nlongleadsto}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nlongrightsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftwavearrow}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nlongleftsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftfootline}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nvlongdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongrightfootline}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nlongdashv}{narrows}{\mathrel}
+\mdsy@setslot{224}
+\mdsy@DeclareSymbol{nrightvdash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nvdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupvdash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nperp}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftvdash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndashv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownvdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightassert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nassert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nshortrighttack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupassert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nshortuptack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftassert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nshortlefttack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownassert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nshortdowntack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightvDash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nvDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupvDash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nVbar}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftvDash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nDashv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownvDash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nbarV}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightmodels}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightVdash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nVdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupVdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftVdash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{ndashV}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownVdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightAssert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nAssert}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupAssert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nvBar}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftAssert}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownAssert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nBarv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightVDash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nVDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupVDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftVDash}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nDashV}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownVDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nVvdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndashVv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvDdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDdashv}{narrows}{\mathrel}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{tbigplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigtimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigtimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigwedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigwedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigwedgedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigwedgedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigveedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigveedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigdoublewedge}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tconjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigdoublewedge}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dconjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigdoublevee}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tdisjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigdoublevee}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{ddisjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcurlywedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcurlywedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcurlyvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcurlyvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcupplus}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tbiguplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcupplus}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dbiguplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcupplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcupplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigoplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigoplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigotimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigotimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigodot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigodot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigoast}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigoast}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tcoprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dcoprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tsum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dsum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tosum}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tmodtwosum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dosum}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dmodtwosum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{diint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{diiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tiiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{diiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tidotsint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tdotsint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{didotsint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{ddotsint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlandupint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tintclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlandupint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dintclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlanddownint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tawint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tintctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlanddownint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dawint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dintctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tintbar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dintbar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tintBar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dintBar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tfint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dfint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{toint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{doint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{toiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{doiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{toiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{doiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{trcirclerightint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{drcirclerightint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlcirclerightint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tvarointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlcirclerightint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dvarointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{trcircleleftint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tvarointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{drcircleleftint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dvarointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlcircleleftint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{tointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlcircleleftint}{largesymbols}{\mathop}
+ \mdsy@DeclareAlias{dointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tsumint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dsumint}{largesymbols}{\mathop}
+
+\mdsy@DeclareOperator{bigplus}{\dbigplus}{\tbigplus}
+\mdsy@DeclareOperator{bigtimes}{\dbigtimes}{\tbigtimes}
+\mdsy@DeclareOperator{bigwedge}{\dbigwedge}{\tbigwedge}
+\mdsy@DeclareOperator{bigvee}{\dbigvee}{\tbigvee}
+\mdsy@DeclareOperator{bigwedgedot}{\dbigwedgedot}{\tbigwedgedot}
+\mdsy@DeclareOperator{bigveedot}{\dbigveedot}{\tbigveedot}
+\mdsy@DeclareOperator{bigdoublewedge}{\dbigdoublewedge}{\tbigdoublewedge}
+\mdsy@DeclareOperator{conjquant}{\dconjquant}{\tconjquant}
+\mdsy@DeclareOperator{bigdoublevee}{\dbigdoublevee}{\tbigdoublevee}
+\mdsy@DeclareOperator{disjquant}{\ddisjquant}{\tdisjquant}
+\mdsy@DeclareOperator{bigcurlywedge}{\dbigcurlywedge}{\tbigcurlywedge}
+\mdsy@DeclareOperator{bigcurlyvee}{\dbigcurlyvee}{\tbigcurlyvee}
+\mdsy@DeclareOperator{bigcurlywedgedot}{\dbigcurlywedgedot}{\tbigcurlywedgedot}
+\mdsy@DeclareOperator{bigcurlyveedot}{\dbigcurlyveedot}{\tbigcurlyveedot}
+\mdsy@DeclareOperator{bigdoublecurlywedge}{\dbigdoublecurlywedge}{\tbigdoublecurlywedge}
+\mdsy@DeclareOperator{bigdoublecurlyvee}{\dbigdoublecurlyvee}{\tbigdoublecurlyvee}
+\mdsy@DeclareOperator{bigcap}{\dbigcap}{\tbigcap}
+\mdsy@DeclareOperator{bigcup}{\dbigcup}{\tbigcup}
+\mdsy@DeclareOperator{bigcapdot}{\dbigcapdot}{\tbigcapdot}
+\mdsy@DeclareOperator{bigcupdot}{\dbigcupdot}{\tbigcupdot}
+\mdsy@DeclareOperator{bigcapplus}{\dbigcapplus}{\tbigcapplus}
+\mdsy@DeclareOperator{bigcupplus}{\dbigcupplus}{\tbigcupplus}
+\mdsy@DeclareOperator{biguplus}{\dbiguplus}{\tbiguplus}
+\mdsy@DeclareOperator{bigsqcap}{\dbigsqcap}{\tbigsqcap}
+\mdsy@DeclareOperator{bigsqcup}{\dbigsqcup}{\tbigsqcup}
+\mdsy@DeclareOperator{bigsqcapdot}{\dbigsqcapdot}{\tbigsqcapdot}
+\mdsy@DeclareOperator{bigsqcupdot}{\dbigsqcupdot}{\tbigsqcupdot}
+\mdsy@DeclareOperator{bigsqcapplus}{\dbigsqcapplus}{\tbigsqcapplus}
+\mdsy@DeclareOperator{bigsqcupplus}{\dbigsqcupplus}{\tbigsqcupplus}
+\mdsy@DeclareOperator{bigoplus}{\dbigoplus}{\tbigoplus}
+\mdsy@DeclareOperator{bigotimes}{\dbigotimes}{\tbigotimes}
+\mdsy@DeclareOperator{bigodot}{\dbigodot}{\tbigodot}
+\mdsy@DeclareOperator{bigoast}{\dbigoast}{\tbigoast}
+\mdsy@DeclareOperator{sum}{\dsum}{\tsum}
+\mdsy@DeclareOperator{osum}{\dosum}{\tosum}
+\mdsy@DeclareOperator{modtwosum}{\dmodtwosum}{\tmodtwosum}
+\mdsy@DeclareOperator{prod}{\dprod}{\tprod}
+\mdsy@DeclareOperator{coprod}{\dcoprod}{\tcoprod}
+\mdsy@DeclareIntegral{int}{\dint}{\tint}
+\mdsy@DeclareIntegral{iint}{\diint}{\tiint}
+\mdsy@DeclareIntegral{iiint}{\diiint}{\tiiint}
+\mdsy@DeclareIntegral{iiiint}{\diiiint}{\tiiiint}
+\mdsy@DeclareIntegral{idotsint}{\didotsint}{\tidotsint}
+\mdsy@DeclareIntegral{dotsint}{\ddotsint}{\tdotsint}
+\mdsy@DeclareIntegral{landupint}{\dlandupint}{\tlandupint}
+\mdsy@DeclareIntegral{intclockwise}{\dintclockwise}{\tintclockwise}
+\mdsy@DeclareIntegral{landdownint}{\dlanddownint}{\tlanddownint}
+\mdsy@DeclareIntegral{awint}{\dawint}{\tawint}
+\mdsy@DeclareIntegral{intctrclockwise}{\dintctrclockwise}{\tintctrclockwise}
+\mdsy@DeclareIntegral{landdownint}{\dlanddownint}{\tlanddownint}
+\mdsy@DeclareIntegral{intbar}{\dintbar}{\tintbar}
+\mdsy@DeclareIntegral{intBar}{\dintBar}{\tintBar}
+\mdsy@DeclareIntegral{fint}{\dfint}{\tfint}
+\mdsy@DeclareIntegral{oint}{\doint}{\toint}
+\mdsy@DeclareIntegral{oiint}{\doiint}{\toiint}
+\mdsy@DeclareIntegral{oiiint}{\doiiint}{\toiiint}
+\mdsy@DeclareIntegral{rcirclerightint}{\drcirclerightint}{\trcirclerightint}
+\mdsy@DeclareIntegral{ointctrclockwise}{\dointctrclockwise}{\tointctrclockwise}
+\mdsy@DeclareIntegral{lcirclerightint}{\dlcirclerightint}{\tlcirclerightint}
+\mdsy@DeclareIntegral{varointclockwise}{\dvarointclockwise}{\tvarointclockwise}
+\mdsy@DeclareIntegral{rcircleleftint}{\drcircleleftint}{\trcircleleftint}
+\mdsy@DeclareIntegral{varointctrclockwise}{\dvarointctrclockwise}{\tvarointctrclockwise}
+\mdsy@DeclareIntegral{lcircleleftint}{\dlcircleleftint}{\tlcircleleftint}
+\mdsy@DeclareIntegral{ointclockwise}{\dointclockwise}{\tointclockwise}
+\mdsy@DeclareIntegral{sumint}{\dsumint}{\tsumint}
+
+\mdsy@renewcommand{intkern@}{\mkern-8.5mu\mathchoice{\mkern-1mu}{}{}{}}
+\mdsy@renewcommand{intdots@}{\mkern-6mu%
+ \mathchoice{\@cdots}%
+ {{\cdotp}\mkern0.5mu{\cdotp}\mkern0.5mu{\cdotp}}%
+ {{\cdotp}{\cdotp}{\cdotp}}%
+ {{\cdotp}{\cdotp}{\cdotp}}%
+ \mkern-6mu}
+\mdsy@DeclareMathAccent{widehat}{\mathord}{largesymbols}{"72}
+\mdsy@DeclareMathAccent{widetilde}{\mathord}{largesymbols}{"78}
+\mdsy@DeclareMathAccent{wideparen}{\mathord}{largesymbols}{"7E}
+\mdsy@DeclareMathAccent{vec}{\mathord}{largesymbols}{"84}
+\mdsy@DeclareMathAccent{middlebar}{\mathord}{largesymbols}{"85}
+\mdsy@DeclareMathAccent{middleslash}{\mathord}{largesymbols}{"86}
+\mdsy@DeclareMathAccent{strokethrough}{\mathord}{largesymbols}{"87}
+\ifmdsy@largedelims
+ \mdsy@DeclareOpen{lparen}{delimiters}{"01}
+ \mdsy@DeclareClose{rparen}{delimiters}{"07}
+ \mdsy@DeclareOpen{lbrack}{delimiters}{"13}
+ \mdsy@DeclareClose{rbrack}{delimiters}{"19}
+ \mdsy@DeclareOpen{lfloor}{delimiters}{"1F}
+ \mdsy@DeclareClose{rfloor}{delimiters}{"25}
+ \mdsy@DeclareOpen{lceil}{delimiters}{"2B}
+ \mdsy@DeclareClose{rceil}{delimiters}{"31}
+ \mdsy@DeclareOpen{ulcorner}{delimiters}{"37}
+ \mdsy@DeclareClose{urcorner}{delimiters}{"3D}
+ \mdsy@DeclareOpen{llcorner}{delimiters}{"43}
+ \mdsy@DeclareClose{lrcorner}{delimiters}{"49}
+ \mdsy@DeclareOpen{ullcorner}{delimiters}{"4F}
+ \mdsy@DeclareClose{ulrcorner}{delimiters}{"55}
+ \mdsy@DeclareOpen{lsem}{delimiters}{"61}
+ \mdsy@DeclareClose{rsem}{delimiters}{"67}
+ \mdsy@DeclareOpen{lBrack}{delimiters}{"61}
+ \mdsy@DeclareClose{rBrack}{delimiters}{"67}
+ \mdsy@DeclareOpen{lbrace}{delimiters}{"73}
+ \mdsy@DeclareClose{rbrace}{delimiters}{"79}
+ \mdsy@DeclareOpen{langle}{delimiters}{"86}
+ \mdsy@DeclareClose{rangle}{delimiters}{"8C}
+ \mdsy@DeclareOpen{lAngle}{delimiters}{"92}
+ \mdsy@DeclareClose{rAngle}{delimiters}{"98}
+ \mdsy@DeclareOpen{langledot}{delimiters}{"9E}
+ \mdsy@DeclareClose{rangledot}{delimiters}{"A4}
+ \mdsy@DeclareDelimiter{mathslash}{\mathord}{delimiters}{"AA}
+ \mdsy@DeclareMathSymbol{divslash}{\mathbin}{delimiters}{"AA}
+ \mdsy@DeclareDelimiter{backslash}{\mathord}{delimiters}{"B0}
+ \mdsy@DeclareMathSymbol{setminus}{\mathbin}{delimiters}{"B0}
+ \mdsy@DeclareDelimiter{vert}{\mathord}{delimiters}{"B7}
+ \mdsy@DeclareOpen{lvert}{delimiters}{"B7}
+ \mdsy@DeclareClose{rvert}{delimiters}{"B7}
+ \mdsy@DeclareMathSymbol{mid}{\mathrel}{delimiters}{"B7}
+ \mdsy@DeclareMathSymbol{nmid}{\mathrel}{delimiters}{"BA}
+ \mdsy@DeclareDelimiter{Vert}{\mathord}{delimiters}{"BE}
+ \mdsy@DeclareOpen{lVert}{delimiters}{"BE}
+ \mdsy@DeclareClose{rVert}{delimiters}{"BE}
+ \mdsy@DeclareMathSymbol{parallel}{\mathrel}{delimiters}{"BE}
+ \mdsy@DeclareMathSymbol{nparallel}{\mathrel}{delimiters}{"C1}
+ \mdsy@DeclareDelimiter{Vvert}{\mathord}{delimiters}{"C4}
+ \mdsy@DeclareOpen{lVvert}{delimiters}{"C4}
+ \mdsy@DeclareClose{rVvert}{delimiters}{"C4}
+\else
+ \mdsy@DeclareOpen{lparen}{delimiters}{"00}
+ \mdsy@DeclareClose{rparen}{delimiters}{"06}
+ \mdsy@DeclareOpen{lbrack}{delimiters}{"12}
+ \mdsy@DeclareClose{rbrack}{delimiters}{"18}
+ \mdsy@DeclareOpen{lfloor}{delimiters}{"1E}
+ \mdsy@DeclareClose{rfloor}{delimiters}{"24}
+ \mdsy@DeclareOpen{lceil}{delimiters}{"2A}
+ \mdsy@DeclareClose{rceil}{delimiters}{"30}
+ \mdsy@DeclareOpen{ulcorner}{delimiters}{"36}
+ \mdsy@DeclareClose{urcorner}{delimiters}{"3C}
+ \mdsy@DeclareOpen{llcorner}{delimiters}{"42}
+ \mdsy@DeclareClose{lrcorner}{delimiters}{"48}
+ \mdsy@DeclareOpen{ullcorner}{delimiters}{"4E}
+ \mdsy@DeclareClose{ulrcorner}{delimiters}{"54}
+ \mdsy@DeclareOpen{lsem}{delimiters}{"60}
+ \mdsy@DeclareClose{rsem}{delimiters}{"66}
+ \mdsy@DeclareOpen{lBrack}{delimiters}{"60}
+ \mdsy@DeclareClose{rBrack}{delimiters}{"66}
+ \mdsy@DeclareOpen{lbrace}{delimiters}{"72}
+ \mdsy@DeclareClose{rbrace}{delimiters}{"78}
+ \mdsy@DeclareOpen{langle}{delimiters}{"85}
+ \mdsy@DeclareClose{rangle}{delimiters}{"8B}
+ \mdsy@DeclareOpen{lAngle}{delimiters}{"91}
+ \mdsy@DeclareClose{rAngle}{delimiters}{"97}
+ \mdsy@DeclareOpen{langledot}{delimiters}{"9D}
+ \mdsy@DeclareClose{rangledot}{delimiters}{"A3}
+ \mdsy@DeclareDelimiter{mathslash}{\mathord}{delimiters}{"A9}
+ \mdsy@DeclareMathSymbol{divslash}{\mathbin}{delimiters}{"A9}
+ \mdsy@DeclareDelimiter{backslash}{\mathord}{delimiters}{"AF}
+ \mdsy@DeclareMathSymbol{setminus}{\mathbin}{delimiters}{"AF}
+ \mdsy@DeclareDelimiter{vert}{\mathord}{delimiters}{"B6}
+ \mdsy@DeclareOpen{lvert}{delimiters}{"B6}
+ \mdsy@DeclareClose{rvert}{delimiters}{"B6}
+ \mdsy@DeclareMathSymbol{mid}{\mathrel}{delimiters}{"B6}
+ \mdsy@DeclareMathSymbol{nmid}{\mathrel}{delimiters}{"B9}
+ \mdsy@DeclareDelimiter{Vert}{\mathord}{delimiters}{"BD}
+ \mdsy@DeclareOpen{lVert}{delimiters}{"BD}
+ \mdsy@DeclareClose{rVert}{delimiters}{"BD}
+ \mdsy@DeclareMathSymbol{parallel}{\mathrel}{delimiters}{"BD}
+ \mdsy@DeclareMathSymbol{nparallel}{\mathrel}{delimiters}{"C0}
+ \mdsy@DeclareDelimiter{Vvert}{\mathord}{delimiters}{"C3}
+ \mdsy@DeclareOpen{lVvert}{delimiters}{"C3}
+ \mdsy@DeclareClose{rVvert}{delimiters}{"C3}
+\fi
+\let\|\Vert
+\mdsy@renewcommand{divides}{\mid}
+\mdsy@renewcommand{ndivides}{\nmid}
+\mdsy@DeclareMathSymbol{shortmid}{\mathrel}{delimiters}{"B5}
+\mdsy@DeclareMathSymbol{nshortmid}{\mathrel}{delimiters}{"B8}
+\mdsy@DeclareMathSymbol{shortparallel}{\mathrel}{delimiters}{"BC}
+\mdsy@DeclareMathSymbol{nshortparallel}{\mathrel}{delimiters}{"BF}
+\mdsy@DeclareDelimiter{arrowvert}{\mathord}{delimiters}{"BB}
+\mdsy@DeclareDelimiter{Arrowvert}{\mathord}{delimiters}{"C2}
+\mdsy@DeclareClose{lgroup}{delimiters}{"7E}
+\mdsy@DeclareOpen{rgroup}{delimiters}{"7F}
+\mdsy@DeclareClose{rmoustache}{delimiters}{"80}
+\mdsy@DeclareOpen{lmoustache}{delimiters}{"81}
+\mdsy@DeclareDelimiter{bracevert}{\mathord}{delimiters}{"84}
+
+\mdsy@DeclareMathDelimiter{uparrow}{\mathrel}{arrows}{"01}{delimiters}{"C6}
+\mdsy@DeclareMathDelimiter{downarrow}{\mathrel}{arrows}{"03}{delimiters}{"C7}
+\mdsy@DeclareMathDelimiter{updownarrow}{\mathrel}{arrows}{"11}{delimiters}{"C8}
+\mdsy@DeclareMathDelimiter{Uparrow}{\mathrel}{arrows}{"09}{delimiters}{"C9}
+\mdsy@DeclareMathDelimiter{Downarrow}{\mathrel}{arrows}{"0B}{delimiters}{"CA}
+\mdsy@DeclareMathDelimiter{Updownarrow}{\mathrel}{arrows}{"15}{delimiters}{"CB}
+\mdsy@DeclareMathSymbol{braceld}{\mathord}{delimiters}{"CC}
+\mdsy@DeclareMathSymbol{bracelu}{\mathord}{delimiters}{"CD}
+\mdsy@DeclareMathSymbol{bracerd}{\mathord}{delimiters}{"CE}
+\mdsy@DeclareMathSymbol{braceru}{\mathord}{delimiters}{"CF}
+\mdsy@DeclareMathSymbol{bracemd}{\mathord}{delimiters}{"D0}
+\mdsy@DeclareMathSymbol{bracemu}{\mathord}{delimiters}{"D1}
+\mdsy@DeclareMathSymbol{bracemid}{\mathord}{delimiters}{"D2}
+
+\mdsy@DeclareRobustCommandArg{bracefill@}{5}{%
+ $\m@th#5#1\leaders\hbox{$#4$}\hfill#2\leaders\hbox{$#4$}\hfill#3$%
+}
+\mdsy@renewcommand{downbracefill@}{\bracefill@\braceld\bracemd\bracerd\bracemid}
+\mdsy@renewcommand{upbracefill@}{\bracefill@\bracelu\bracemu\braceru\bracemid}
+\mdsy@renewcommand{downgroupfill@}{\bracefill@\braceld{}\bracerd\bracemid}
+\mdsy@renewcommand{upgroupfill@}{\bracefill@\bracelu{}\braceru\bracemid}
+\mdsy@renewcommand{linesegmentfill@}{\arrowfill@\leftfootline\relbar\rightfootline}
+\mdsy@renewcommand{leftharpoonfill@}{\arrowfill@\leftharpoondown\relbar\relbar}
+\mdsy@renewcommand{rightharpoonfill@}{\arrowfill@\relbar\relbar\rightharpoonup}
+
+\mdsy@DeclareRobustCommandArg{overbrace}{1}{%
+ \mathop{\mathpalette{\overarrow@\downbracefill@}{#1}}\limits%
+}
+\mdsy@DeclareRobustCommandArg{underbrace}{1}{%
+ \mathop{\mathpalette{\underarrow@\upbracefill@}{#1}}\limits%
+}
+\mdsy@DeclareRobustCommand{overgroup}{\mathpalette{\overarrow@\downgroupfill@}}
+\mdsy@DeclareRobustCommand{undergroup}{\mathpalette{\underarrow@\upgroupfill@}}
+\mdsy@DeclareRobustCommand{overlinesegment}{\mathpalette{\overarrow@\linesegmentfill@}}
+\mdsy@DeclareRobustCommand{overleftharpoon}{\mathpalette{\overarrow@\leftharpoonfill@}}
+\mdsy@DeclareRobustCommand{overrightharpoon}{\mathpalette{\overarrow@\rightharpoonfill@}}
+\mdsy@DeclareRobustCommand{underlinesegment}{\mathpalette{\underarrow@\linesegmentfill@}}
+\ifmdsy@largedelims
+ \mdsy@DeclareMathRadical{sqrtsign}{delimiters}{"D4}{delimiters}{"D4}
+ \mdsy@DeclareMathSymbol{surd}{\mathop}{delimiters}{"D4}
+\else
+ \mdsy@DeclareMathRadical{sqrtsign}{delimiters}{"D3}{delimiters}{"D3}
+ \mdsy@DeclareMathSymbol{surd}{\mathop}{delimiters}{"D3}
+\fi
+\mdsy@DeclareRobustCommandArg{r@@t}{2}{\setbox\z@\hbox{$\m@th#1\sqrt{#2}$}%
+ \dimen@\ht\z@ \advance\dimen@-\dp\z@
+ \mkern5mu\raise.6\dimen@\copy\rootbox \mkern-8mu\box\z@}
+\AtBeginDocument{%
+ \mdsy@DeclareActiveMathSymbol{+}{\mathbin}{symbols}{"11}
+ \mdsy@DeclareActiveMathSymbol{-}{\mathbin}{symbols}{"0E}
+ \mdsy@DeclareActiveMathSymbol{*}{\mathbin}{symbols}{"98}
+ \mdsy@DeclareActiveMathSymbol{:}{\mathrel}{symbols}{"02}
+ \mdsy@DeclareActiveMathSymbol{=}{\mathrel}{relations}{"00}
+ \mdsy@DeclareActiveMathSymbol{<}{\mathrel}{relations}{"24}
+ \mdsy@DeclareActiveMathSymbol{>}{\mathrel}{relations}{"25}
+ \ifmdsy@largedelims
+ \mdsy@DeclareActiveMathDelimiter{|}{\mathord}{delimiters}{"B7}
+ \mdsy@DeclareActiveMathDelimiter{(}{\mathopen}{delimiters}{"01}
+ \mdsy@DeclareActiveMathDelimiter{)}{\mathclose}{delimiters}{"07}
+ \mdsy@DeclareActiveMathDelimiter{[}{\mathopen}{delimiters}{"13}
+ \mdsy@DeclareActiveMathDelimiter{]}{\mathclose}{delimiters}{"19}
+ \mdsy@DeclareActiveMathDelimiter{/}{\mathord}{delimiters}{"AA}
+ \else
+ \mdsy@DeclareActiveMathDelimiter{|}{\mathord}{delimiters}{"B6}
+ \mdsy@DeclareActiveMathDelimiter{(}{\mathopen}{delimiters}{"00}
+ \mdsy@DeclareActiveMathDelimiter{)}{\mathclose}{delimiters}{"06}
+ \mdsy@DeclareActiveMathDelimiter{[}{\mathopen}{delimiters}{"12}
+ \mdsy@DeclareActiveMathDelimiter{]}{\mathclose}{delimiters}{"18}
+ \mdsy@DeclareActiveMathDelimiter{/}{\mathord}{delimiters}{"A9}
+ \fi
+ \ifmdsy@onlysansmath
+ \def\resetMathstrut@{%
+ \setbox\z@\hbox{%
+ \ifmathversionsans{%
+ \mathchardef\@tempa\csname(@new\endcsname%
+ }{%
+ \mathchardef\@tempa\csname(@old\endcsname%
+ }
+ \def\@tempb##1"##2##3{\the\textfont"##3\char"}%
+ \expandafter\@tempb\meaning\@tempa \relax
+ }%
+ \ht\Mathstrutbox@\ht\z@ \dp\Mathstrutbox@\dp\z@
+ }
+ \renewcommand{\std@minus}{-}
+ \renewcommand{\std@equal}{=}
+ \gdef\newmcodes@{\mathcode`\'39\mathcode`\*42\mathcode`\."613A%
+ \ifnum\mathcode`\-=45 \else
+ \renewcommand{\std@minus}{-}\relax
+ \fi
+ \mathcode`\-45\mathcode`\/47\mathcode`\:"603A\relax}
+ \fi
+}
+\mdsy@DeclareRobustCommandArg{c@ncel}{2}{\m@th\ooalign{$\hfil#1/\hfil$\crcr$#1#2$}}
+\mdsy@DeclareRobustCommandArg{not}{1}{\mathrel{\m@th\mathpalette\c@ncel{#1}}}
+%%
+%%
+%% End of file `mdsymbol.sty'.