%% %% 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 %% %% 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/11/18 v0.5 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@DeclareSymbol{smallprodi}{symbols}{\mathop} \mdsy@DeclareSymbol{smallcoprodi}{symbols}{\mathop} \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@DeclareSymbol{tprodi}{largesymbols}{\mathop} \mdsy@DeclareSymbol{dprodi}{largesymbols}{\mathop} \mdsy@DeclareSymbol{tcoprodi}{largesymbols}{\mathop} \mdsy@DeclareSymbol{dcoprodi}{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@DeclareOperator{prodi}{\dprodi}{\tprodi} \mdsy@DeclareOperator{coprodi}{\dcoprodi}{\tcoprodi} \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}}} \RequirePackage{calc} \newsavebox\overliningbox \def\ovlg@eat#1#2#3#4#5{\futurelet\ovlg@let@token\ovlg@eat@} \def\ovlg@eat@#1\ovlg@eat{% \ifx\ovlg@let@token\bgroup \else\ifx\ovlg@let@token\mathop \mathop \else\ifx\ovlg@let@token\mathbin \mathbin \else\ifx\ovlg@let@token\mathrel \mathrel \else\ifx\ovlg@let@token\mathopen \mathopen \else\ifx\ovlg@let@token\mathop \mathop \else\ifx\ovlg@let@token\mathpunct \mathpunct \else\ifcat.\ifcat a\noexpand\ovlg@let@token.\else\noexpand\ovlg@let@token\fi \afterassignment\ovlg@mathchar\count@\mathcode`#1\relax\ovlg@eat \else\ifx\ovlg@let@token\mathchar \afterassignment\ovlg@mathchar\expandafter\count@\@gobble#1\relax\ovlg@eat \else \xdef\meaning@{\meaning\ovlg@let@token}% \expandafter\ovlg@mchar@test\meaning@""\@nil \fi\fi\fi\fi\fi\fi\fi\fi\fi } \edef\ovlg@mchar@{\meaning\mathchar} \def\ovlg@mchar@test#1"#2"#3\@nil{% \xdef\meaning@{#1}% \ifx\meaning@\ovlg@mchar@ \count@"#2\relax \ovlg@mathchar\ovlg@eat \fi } \def\ovlg@mathchar#1\ovlg@eat{% \divide\count@"1000 } \mdsy@DeclareRobustCommandArg{overlining}{1}{% \begingroup \let\protect\empty \expandafter\ovlg@eat\romannumeral`\Q#1\relax\ovlg@eat \ifcase\count@ \or \mathop\or \mathbin\or \mathrel\or \mathopen\or \mathclose\or \mathpunct\or \fi {\text{\savebox\overliningbox{$\m@th#1$}\fboxsep\z@% \makebox[0pt][l]{$\m@th#1$}% \rule[\ht\overliningbox+1.2pt]{\wd\overliningbox}{.8\fontdimen8\textfont3}}}% \endgroup} %% %% %% End of file `mdsymbol.sty'.