<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% \iffalse meta-comment
%
% Copyright (c) 2011-2025 by Michael Ummels &lt;michael@ummels.de&gt;
%
% 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 Michael Ummels.
%
% This work consists of the files fdsymbol.dtx, fdsymbol.ins
% and the derived files fdsymbol.pdf and fdsymbol.sty.
%
% \fi
%
%\iffalse
%&lt;*driver&gt;
\ProvidesFile{fdsymbol.dtx}[2025/02/17 v1.0 FdSymbol support package]
%&lt;/driver&gt;
%&lt;style&gt;\NeedsTeXFormat{LaTeX2e}[1999/12/01]
%&lt;style&gt;\ProvidesPackage{fdsymbol}[2025/02/17 v1.0 FdSymbol support package]
%&lt;*driver&gt;
\documentclass[10pt]{ltxdoc}

\usepackage{multicol}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\IfFileExists{fedraserif.sty}{%
  \usepackage[footnotemarks]{fedraserif}
  \usepackage[scaled=1.05]{inconsolata}
}{%
  \usepackage{fdsymbol}
}
\usepackage{booktabs}
\usepackage{hypdoc}
\usepackage{microtype}

\hypersetup{
  bookmarksnumbered,
  colorlinks=false,
  pdfborder={0 0 0},
  pdftitle={FdSymbol: A Math Symbol Font},
  pdfauthor={Michael Ummels}
}

% Restore FdSymbol's Hebrew letters (overwritten by fedraserif.sty)
\DeclareMathSymbol{\aleph}{0}{symbols}{"C7}
\DeclareMathSymbol{\beth}{0}{symbols}{"C8}
\DeclareMathSymbol{\gimel}{0}{symbols}{"C9}
\DeclareMathSymbol{\daleth}{0}{symbols}{"CA}

\linespread{1.1}

\newcommand{\pkg}[1]{\mbox{#1}}
\newcommand{\opt}[1]{\mbox{\texttt{#1}}}
\newcommand{\file}[1]{\texttt{#1}}
\providecommand{\figureversion}[1]{}

\renewcommand{\theCodelineNo}%
  {\normalfont\figureversion{tab}\scriptsize\arabic{CodelineNo}}

\begin{document}
\DocInput{fdsymbol.dtx}
\end{document}
%&lt;/driver&gt;
%&lt;*test&gt;
\documentclass{article}

\usepackage{fdsymbol}

\pagestyle{empty}

\begin{document}
$\big(\sum_{\aleph\in\wp}\aleph=\beth
\wedge\gimel\in\heartsuit
\vee\daleth\models\wp\nmodels
\vee\vec{\daleth}\nmodels\wp\big)$
\end{document}
%&lt;/test&gt;
%\fi
%
% \CheckSum{5703}
% \CharacterTable
%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
%   Digits        \0\1\2\3\4\5\6\7\8\9
%   Exclamation   \!     Double quote  \"     Hash (number) \#
%   Dollar        \$     Percent       \%     Ampersand     \&amp;
%   Acute accent  \'     Left paren    \(     Right paren   \)
%   Asterisk      \*     Plus          \+     Comma         \,
%   Minus         \-     Point         \.     Solidus       \/
%   Colon         \:     Semicolon     \;     Less than     \&lt;
%   Equals        \=     Greater than  \&gt;     Question mark \?
%   Commercial at \@     Left bracket  \[     Backslash     \\
%   Right bracket \]     Circumflex    \^     Underscore    \_
%   Grave accent  \`     Left brace    \{     Vertical bar  \|
%   Right brace   \}     Tilde         \~}
%
% \GetFileInfo{fdsymbol.dtx}
%
% \title{FdSymbol: A Math Symbol Font}
% \author{Michael Ummels \\ \texttt{michael@ummels.de}}
% \date{\fileversion\ -- \filedate}
% \maketitle
% \tableofcontents
%
% \section{Introduction}
%
% FdSymbol is a font of mathematical symbols designed as a companion to
% Typotheque's Fedra family\footnote{\url{http://www.typotheque.com/fonts}},
% but it might also fit well to other contemporary typefaces.
% To use this font in a \LaTeX\ document, add the command
% \begin{quote}
%   |\usepackage|\oarg{options}|{fdsymbol}|
% \end{quote}
% to the preamble of your document. This redefines most of the standard
% mathematical symbols and makes available many new ones
% (see Section~\ref{sec:glyphs}). For the available options see
% Section~\ref{sec:options}.
%
% \subsubsection*{Acknowledgements}
%
% The FdSymbol font is derived from
% MnSymbol\footnote{\url{http://www.ctan.org/pkg/mnsymbol/}},
% another math symbol font, designed by Achim Blumensath.
%
% \section{Interferences with other packages}
%
% The \pkg{fdsymbol} package is incompatible with the \pkg{amssymb} and
% \pkg{amsfonts} packages. It automatically loads the \pkg{amsmath} and
% \pkg{textcomp} packages. If you want to pass options to these packages, you
% can either load these packages before \pkg{fdsymbol} or you can include the
% options in the |\documentclass| command.
%
% \section{Options}\label{sec:options}
%
% All package options are set using a \meta{key}|=|\meta{value} syntax.
% Boolean options accept |true| and |false| as values, and setting a Boolean
% key without a value is equivalent to setting it to |true|.
% Table~\ref{tab:options} lists all option keys of the \pkg{fdsymbol}
% package with their possible values; values that are marked with an asterisk
% correspond to the default behaviour of the package.
% \begin{table}
% \centering
% \begin{tabular}{@{}ll@{}}
% \toprule
% Key &amp; Values \\
% \midrule
% \opt{normalweight} &amp; \opt{Book}*, \opt{Demi}, \opt{auto} \\
% \opt{boldweight} &amp; \opt{Medium}*, \opt{Bold}, \opt{auto} \\
% \opt{scale} &amp; \meta{factor} \\
% \opt{largedelims} &amp; \opt{true}, \opt{false}* \\
% \opt{opstyle} &amp; \opt{serif}*, \opt{sans} \\
% \bottomrule
% \end{tabular}
% \caption{\label{tab:options}Summary of options}
% \end{table}
%
% \section{Font selection}\label{sec:selection}
%
% \subsection{Weights}
%
% FdSymbol comes in four weights, which are (in increasing order) Book,
% Demi, Medium and Bold. Of these, Book and Demi are suitable for normal
% math typesetting, while Medium and Bold can be used for bold math
% typesetting. Using the options \opt{normalweight} and \opt{boldweight}, you
% can select which weights are used. For example, to use the Medium weight as
% the normal weight in math, add \opt{normalweight=Medium} to the package
% options. Analogously, to use the Bold weight with |\boldmath| or
% |\boldsymbol|, add \opt{boldweight=Bold} to the package options. By default,
% Book and Medium are used. Additionally, it is possible to use a
% suitable weight automatically depending on the font size by selecting
% \opt{auto}. For example, if you use the option \opt{normalweight=auto}, the
% Book weight will be used for normal and large sizes, but the Demi weight
% will be used for small sizes (e.g.\ in sub- and superscripts).
%
% \subsection{Size}
%
% In order to use FdSymbol with different text fonts, it is possible to scale
% the fonts by an arbitrary factor. This can be achieved with the option
% \opt{scale}. For example, to use the fonts at 90\,\% of their original size,
% you can add \opt{scale=0.9} to the package options. Finally, it is possible
% to increase the height of delimiters slightly (by 20\,\% in text size and
% by 25\,\% in |\big| size). This can be achieved by activating the option
% \opt{largedelims}. Use this option if you want to combine FdSymbol with a
% text font that has rather tall delimiters, such as Fedra Serif~B. In fact,
% the height of normal delimiters will match the height of text delimiters in
% Fedra Serif~B if you select this option.
%
% \subsection{Stylistic variants}
%
% In order to use FdSymbol with sans-serif text fonts, there are sans-serif
% variants of glyphs that contain a product or summation sign. These can
% be accessed by the commands |\varprod|, |\varcoprod|, |\varsum|, etc.
% To access these glyphs using the standard commands |\prod|, |\coprod|,
% |\sum|, etc., use the option \opt{opstyle=sans}.
% If this option is active, the serif variants of these glyphs can be accessed
% by the |\var|\dots\ commands instead.
%
% \section{Symbols}\label{sec:glyphs}
%
% The \pkg{fdsymbol} package provides the following symbols.
%
% \renewcommand\cmd[1]{\texttt{\string#1}}
% \newcommand\showsymbol[1]{\par\noindent\hangindent=3em%
%   \makebox[2em][l]{$#1$}\cmd{#1}}
% \newcommand\showwidesymbol[1]{\par\noindent\hangindent=4em%
%   \makebox[3em][l]{$#1$}\cmd{#1}}
% \newcommand\showop[1]{\par\noindent\hangindent=6em%
%   \makebox[5em][l]{$#1$\hfill$\displaystyle#1$\hfill}\cmd{#1}}
% \newcommand\showmbrace[1]{\par\noindent\hangindent=6em%
%   \makebox[5em][l]{${#1}{\bigm#1}{\Bigm#1}{\biggm#1}{\Biggm#1}$}\cmd{#1}}
% \newcommand\showlbrace[1]{\par\noindent\hangindent=6em%
%   \makebox[5em][l]{$\Biggl#1\biggl#1\Bigl#1\bigl#1#1$}\cmd{#1}}
% \newcommand\showrbrace[1]{\par\noindent\hangindent=6em%
%   \makebox[5em][l]{$#1\bigr#1\Bigr#1\biggr#1\Biggr#1$}\cmd{#1}}
% \newcommand\showover[1]{\par\noindent\hangindent=4em%
%   \makebox[3em][l]{$#1{xxx}$}\cmd{#1}}
% \newcommand\showaccent[1]{\par\noindent\hangindent=4em%
%   \makebox[3em][l]{$#1b$}\cmd{#1}}
%
% \subsection{Ordinary symbols}
%
% \begin{multicols}{2}
% \raggedright
% \showsymbol\hdots
% \showsymbol\vdots
% \showsymbol\udots, \cmd{\adots}
% \showsymbol{\ddots}
% \showsymbol{\righttherefore}
% \showsymbol{\uptherefore}, \cmd{\therefore}
% \showsymbol{\lefttherefore}
% \showsymbol{\downtherefore}, \cmd{\because}
% \showsymbol{\squaredots}
% \showsymbol{\neg}, \cmd{\lnot}
% \showsymbol{\backneg}, \cmd{\invnot}, \cmd{\invneg}
% \showsymbol{\turnedneg}, \cmd{\turnednot}
% \showsymbol{\turnedbackneg}
% \showsymbol{\largetriangleup}
% \showsymbol{\largetriangledown}
% \showsymbol{\emptyset}, \cmd{\diameter}, \cmd{\varnothing}
% \showsymbol{\revemptyset}
% \showsymbol{\largecircle}, \cmd{\lgwhtcircle}
% \showsymbol{\largeblackcircle}
% \showsymbol{\largesquare}, \cmd{\lgwhtsquare}
% \showsymbol{\largeblacksquare}, \cmd{\lgblksquare}
% \showsymbol{\smalllozenge}, \cmd{\smwhtlozenge}
% \showsymbol{\smallblacklozenge}, \cmd{\smblklozenge}
% \showsymbol{\medlozenge}, \cmd{\lozenge}, \cmd{\mdlgwhtlozenge},
%   \cmd{\mdwhtlozenge}
% \showsymbol{\medblacklozenge}, \cmd{\blacklozenge}, \cmd{\mdlgblklozenge},
%   \cmd{\mdblklozenge}
% \showsymbol{\lozengeminus}
% \showsymbol{\largewhitestar}
% \showsymbol{\largeblackstar}, \cmd{\bigstar}
% \showsymbol{\infty}
% \showsymbol{\angle}
% \showsymbol{\revangle}
% \showsymbol{\measuredangle}
% \showsymbol{\revmeasuredangle}, \cmd{\measuredangleleft}
% \showsymbol{\sphericalangle}
% \showsymbol{\sphericalangleup}
% \showsymbol{\sphericalangleleft}, \cmd{\revsphericalangle}, \cmd{\gtlpar}
% \showsymbol{\sphericalangledown}
% \showsymbol{\rightangle}
% \showsymbol{\measuredrightangle}
% \showsymbol{\rightanglesquare}, \cmd{\rightanglesqr}
% \showsymbol{\measuredrightangledot}, \cmd{\rightanglemdot}
% \showsymbol{\prime}
% \showsymbol{\backprime}
% \showsymbol{\checkmark}
% \showsymbol{\lightning}, \cmd{\downzigzagarrow}
% \showsymbol{\diamondsuit}
% \showsymbol{\vardiamondsuit}
% \showsymbol{\heartsuit}
% \showsymbol{\varheartsuit}
% \showsymbol{\spadesuit}
% \showsymbol{\clubsuit}
% \showsymbol{\maltese}
% \showsymbol{\starofdavid}
% \showsymbol{\sector}
% \showsymbol{\forall}
% \showsymbol{\exists}
% \showsymbol{\nexists}
% \showsymbol{\Finv}
% \showsymbol{\Game}
% \showsymbol{\complement}
% \showsymbol{\flat}
% \showsymbol{\natural}
% \showsymbol{\sharp}
% \showsymbol{\aleph}
% \showsymbol{\beth}
% \showsymbol{\gimel}
% \showsymbol{\daleth}
% \showsymbol{\wp}
% \showsymbol{\top}
% \showsymbol{\bot}
% \showsymbol{/}, \cmd{\mathslash}
% \showsymbol{\backslash}
% {\catcode`\|=11 \showsymbol{|}, \cmd{\vert}}
% \showsymbol{\Vert}
% \showsymbol{\Vvert}
% \end{multicols}
%
% \subsection{Binary operators}
%
% \begin{multicols}{2}
% \raggedright
% \showsymbol{\cdot}
% \showsymbol{\centerdot}
% \showsymbol{\hdotdot}
% \showsymbol{\vdotdot}
% \showsymbol{\udotdot}
% \showsymbol{\ddotdot}
% \showsymbol{-}, \cmd{\minus}
% \showsymbol{\medslash}, \cmd{\smalldivslash}
% \showsymbol{\medbackslash}, \cmd{\smallsetminus}
% \showsymbol{+}, \cmd{\plus}
% \showsymbol{\times}
% \showsymbol{\dotminus}
% \showsymbol{\minusdot}
% \showsymbol{\div}
% \showsymbol{\minusfdots}
% \showsymbol{\minusrdots}
% \showsymbol{\pm}
% \showsymbol{\mp}
% \showsymbol{\dotplus}
% \showsymbol{\plusdot}
% \showsymbol{\dottimes}
% \showsymbol{\timesbar}
% \showsymbol{\divideontimes}
% \showsymbol{\intprod}
% \showsymbol{\intprodr}
% \showsymbol{\leftthreetimes}
% \showsymbol{\rightthreetimes}
% \showsymbol{\dtimes}, \cmd{\btimes}
% \showsymbol{\rtimes}
% \showsymbol{\utimes}, \cmd{\ttimes}
% \showsymbol{\ltimes}
% \showsymbol{\lrtimes}
% \showsymbol{\upbowtie}, \cmd{\hourglass}
% \showsymbol{\rightY}
% \showsymbol{\upY}
% \showsymbol{\leftY}
% \showsymbol{\downY}
% \showsymbol{\wedge}, \cmd{\land}
% \showsymbol{\vee}, \cmd{\lor}
% \showsymbol{\wedgedot}
% \showsymbol{\veedot}
% \showsymbol{\doublewedge}, \cmd{\wedgeonwedge}
% \showsymbol{\doublevee}, \cmd{\veeonwee}
% \showsymbol{\curlywedge}
% \showsymbol{\curlyvee}
% \showsymbol{\barwedge}
% \showsymbol{\veebar}
% \showsymbol{\doublebarwedge}
% \showsymbol{\veedoublebar}
% \showsymbol{\cup}
% \showsymbol{\cap}
% \showsymbol{\doublecup}, \cmd{\Cup}
% \showsymbol{\doublecap}, \cmd{\Cap}
% \showsymbol{\cupdot}
% \showsymbol{\capdot}
% \showsymbol{\cupplus}, \cmd{\uplus}
% \showsymbol{\capplus}
% \showsymbol{\sqcup}
% \showsymbol{\sqcap}
% \showsymbol{\doublesqcup}, \cmd{\Sqcup}
% \showsymbol{\doublesqcap}, \cmd{\Sqcap}
% \showsymbol{\sqcupdot}
% \showsymbol{\sqcapdot}
% \showsymbol{\sqcupplus}
% \showsymbol{\sqcapplus}
% \showsymbol{\pullback}
% \showsymbol{\pushout}
% \showsymbol{\smalltriangleright}
% \showsymbol{\smalltriangleup}
% \showsymbol{\smalltriangleleft}
% \showsymbol{\smalltriangledown}
% \showsymbol{\smallblacktriangleright}
% \showsymbol{\smallblacktriangleup}
% \showsymbol{\smallblacktriangleleft}
% \showsymbol{\smallblacktriangledown}
% \showsymbol{\medtriangleright}, \cmd{\triangleright}
% \showsymbol{\medtriangleup}, \cmd{\triangle}, \cmd{\vartriangle}
% \showsymbol{\medtriangleleft}, \cmd{\triangleleft}
% \showsymbol{\medtriangledown}, \cmd{\triangledown}
% \showsymbol{\medblacktriangleright}, \cmd{\blacktriangleright}
% \showsymbol{\medblacktriangleup}, \cmd{\blacktriangle}
% \showsymbol{\medblacktriangleleft}, \cmd{\blacktriangleleft}
% \showsymbol{\medblacktriangledown}, \cmd{\blacktriangledown}
% \showsymbol{\bigtriangleup}
% \showsymbol{\bigtriangledown}
% \showsymbol{\smallcircle}, \cmd{\circ}, \cmd{\smwhtcircle}
% \showsymbol{\smallblackcircle}, \cmd{\bullet}, \cmd{\smblkcircle}
% \showsymbol{\medcircle}, \cmd{\mdlgwhtcircle}, \cmd{\mdwhtcircle}
% \showsymbol{\medblackcircle}, \cmd{\mdlgblkcircle}, \cmd{\mdblkcircle}
% \showsymbol{\ominus}
% \showsymbol{\overt}, \cmd{\circledvert}
% \showsymbol{\oslash}
% \showsymbol{\obackslash}, \cmd{\obslash}
% \showsymbol{\oplus}
% \showsymbol{\otimes}
% \showsymbol{\odot}
% \showsymbol{\ocirc}, \cmd{\circledcirc}
% \showsymbol{\oast}, \cmd{\circledast}
% \showsymbol{\odash}, \cmd{\circleddash}
% \showsymbol{\oequal}, \cmd{\circledequal}
% \showsymbol{\bigcirc}
% \showsymbol{\smallsquare}, \cmd{\smwhtsquare}
% \showsymbol{\smallblacksquare}, \cmd{\smblksquare}
% \showsymbol{\medsquare}, \cmd{\square}, \cmd{\Box}, \cmd{\mdlgwhtsquare},
%   \cmd{\mdwhtsquare}
% \showsymbol{\medblacksquare}, \cmd{\mdlgblksquare}, \cmd{\mdblksquare}
% \showsymbol{\boxminus}
% \showsymbol{\boxvert}, \cmd{\boxbar}
% \showsymbol{\boxslash}, \cmd{\boxdiag}
% \showsymbol{\boxbackslash}, \cmd{\boxbslash}
% \showsymbol{\boxplus}
% \showsymbol{\boxtimes}
% \showsymbol{\boxdot}
% \showsymbol{\boxbox}
% \showsymbol{\smalldiamond}, \cmd{\diamond}, \cmd{\smwhtdiamond}
% \showsymbol{\smallblackdiamond}, \cmd{\blackdiamond}, \cmd{\smblkdiamond}
% \showsymbol{\meddiamond}, \cmd{\Diamond}, \cmd{\mdlgwhtdiamond},
%   \cmd{\mdwhtdiamond}
% \showsymbol{\medblackdiamond}, \cmd{\mdlgblkdiamond}, \cmd{\mdblkdiamond}
% \showsymbol{\diamondminus}
% \showsymbol{\diamondvert}
% \showsymbol{\diamondslash}
% \showsymbol{\diamondbackslash}, \cmd{\diamondbslash}
% \showsymbol{\diamondplus}
% \showsymbol{\diamondtimes}
% \showsymbol{\diamonddot}, \cmd{\diamondcdot}
% \showsymbol{\diamonddiamond}
% \showsymbol{\smallwhitestar}, \cmd{\smwhitestar}
% \showsymbol{\smallblackstar}, \cmd{\star}
% \showsymbol{\medwhitestar}
% \showsymbol{\medblackstar}, \cmd{\medstar}
% \showsymbol{*}, \cmd{\ast}
% \showsymbol{\intercal}
% \showsymbol{\wreath}, \cmd{\wr}
% \showsymbol{\amalg}
% \showsymbol{\varamalg}
% \showsymbol{\lhd}
% \showsymbol{\rhd}
% \showsymbol{\unlhd}
% \showsymbol{\unrhd}
% \showsymbol{\divslash}
% \showsymbol{\setminus}
% \end{multicols}
%
% \subsection{Relations}
%
% \begin{multicols}{2}
% \raggedright
% \showsymbol{=}, \cmd{\equal}, \cmd{\Relbar}
% \showsymbol{\equiv}
% \showsymbol{\sim}
% \showsymbol{\backsim}
% \showsymbol{\approx}
% \showsymbol{\triplesim}, \cmd{\approxident}
% \showsymbol{\simeq}
% \showsymbol{\backsimeq}
% \showsymbol{\eqsim}
% \showsymbol{\cong}
% \showsymbol{\backcong}
% \showsymbol{\dotcong}
% \showsymbol{\approxeq}
% \showsymbol{\bumpeq}
% \showsymbol{\bumpeqq}
% \showsymbol{\Bumpeq}
% \showsymbol{\doteq}
% \showsymbol{\eqdot}
% \showsymbol{\Doteq}
% \showsymbol{\fallingdotseq}
% \showsymbol{\risingdotseq}
% \showsymbol{\coloneq}, \cmd{\coloneqq}
% \showsymbol{\eqcolon}, \cmd{\eqqcolon}
% \showsymbol{\smile}, \cmd{\smallsmile}
% \showsymbol{\frown}, \cmd{\smallfrown}
% \showsymbol{\smilefrown}, \cmd{\asymp}
% \showsymbol{\frownsmile}, \cmd{\closure}
% \showsymbol{\smileeq}
% \showsymbol{\frowneq}, \cmd{\arceq}
% \showsymbol{\eqcirc}
% \showsymbol{\circeq}
% \showsymbol{\wedgeq}, \cmd{\hateq}
% \showsymbol{\veeeq}
% \showsymbol{\stareq}
% \showsymbol{\triangleeq}, \cmd{\triangleq}
% \showsymbol{\in}
% \showsymbol{\owns}, \cmd{\ni}
% \showsymbol{&lt;}, \cmd{\less}
% \showsymbol{&gt;}, \cmd{\gtr}
% \showsymbol{\leq}, \cmd{\le}
% \showsymbol{\geq}, \cmd{\ge}
% \showsymbol{\leqslant}
% \showsymbol{\geqslant}
% \showsymbol{\leqq}
% \showsymbol{\geqq}
% \showsymbol{\lesssim}
% \showsymbol{\gtrsim}
% \showsymbol{\lessapprox}
% \showsymbol{\gtrapprox}
% \showsymbol{\lessgtr}
% \showsymbol{\gtrless}
% \showsymbol{\lesseqgtr}
% \showsymbol{\gtreqless}
% \showsymbol{\lesseqqgtr}
% \showsymbol{\gtreqqless}
% \showsymbol{\lesseqslantgtr}, \cmd{\lesq}
% \showsymbol{\gtreqslantless}, \cmd{\gesl}
% \showsymbol{\ll}
% \showsymbol{\gg}
% \showsymbol{\lll}, \cmd{\llless}
% \showsymbol{\ggg}, \cmd{\gggtr}
% \showsymbol{\lessclosed}, \cmd{\vartriangleleft}
% \showsymbol{\gtrclosed}, \cmd{\vartriangleright}
% \showsymbol{\leqclosed}, \cmd{\trianglelefteq}
% \showsymbol{\geqclosed}, \cmd{\trianglerighteq}
% \showsymbol{\lesscc}, \cmd{\ltcc}
% \showsymbol{\gtrcc}, \cmd{\gtcc}
% \showsymbol{\leqslcc}, \cmd{\lescc}
% \showsymbol{\geqslcc}, \cmd{\gescc}
% \showsymbol{\sqsubset}
% \showsymbol{\sqsupset}
% \showsymbol{\sqsubseteq}
% \showsymbol{\sqsupseteq}
% \showsymbol{\sqsubseteqq}
% \showsymbol{\sqsupseteqq}
% \showsymbol{\Sqsubset}
% \showsymbol{\Sqsupset}
% \showsymbol{\subset}
% \showsymbol{\supset}
% \showsymbol{\subseteq}
% \showsymbol{\supseteq}
% \showsymbol{\subseteqq}
% \showsymbol{\supseteqq}
% \showsymbol{\Subset}
% \showsymbol{\Supset}
% \showsymbol{\prec}
% \showsymbol{\succ}
% \showsymbol{\preceq}
% \showsymbol{\succeq}
% \showsymbol{\preccurlyeq}
% \showsymbol{\succcurlyeq}
% \showsymbol{\preceqq}
% \showsymbol{\succeqq}
% \showsymbol{\precsim}
% \showsymbol{\succsim}
% \showsymbol{\precapprox}
% \showsymbol{\succapprox}
% \showsymbol{\lessdot}
% \showsymbol{\gtrdot}
% \showsymbol{\leqdot}
% \showsymbol{\geqdot}
% \showsymbol{\leqslantdot}, \cmd{\lesdot}
% \showsymbol{\geqslantdot}, \cmd{\gesdot}
% \showsymbol{\eqslantless}
% \showsymbol{\eqslantgtr}
% \showsymbol{\curlyeqprec}
% \showsymbol{\curlyeqsucc}
% \showsymbol{\thicksim}
% \showsymbol{\thickapprox}
% \showsymbol{\rightarrow}, \cmd{\to}
% \showsymbol{\uparrow}
% \showsymbol{\leftarrow}, \cmd{\gets}
% \showsymbol{\downarrow}
% \showsymbol{\nearrow}
% \showsymbol{\nwarrow}
% \showsymbol{\swarrow}
% \showsymbol{\searrow}
% \showsymbol{\Rightarrow}
% \showsymbol{\Uparrow}
% \showsymbol{\Leftarrow}
% \showsymbol{\Downarrow}
% \showsymbol{\Nearrow}
% \showsymbol{\Nwarrow}
% \showsymbol{\Swarrow}
% \showsymbol{\Searrow}
% \showsymbol{\leftrightarrow}
% \showsymbol{\updownarrow}
% \showsymbol{\neswarrow}
% \showsymbol{\nwsearrow}
% \showsymbol{\Leftrightarrow}
% \showsymbol{\Updownarrow}
% \showsymbol{\Neswarrow}
% \showsymbol{\Nwsearrow}
% \showsymbol{\twoheadrightarrow}
% \showsymbol{\twoheaduparrow}
% \showsymbol{\twoheadleftarrow}
% \showsymbol{\twoheaddownarrow}
% \showsymbol{\twoheadnearrow}
% \showsymbol{\twoheadnwarrow}
% \showsymbol{\twoheadswarrow}
% \showsymbol{\twoheadsearrow}
% \showsymbol{\rightarrowtail}
% \showsymbol{\uparrowtail}
% \showsymbol{\leftarrowtail}
% \showsymbol{\downarrowtail}
% \showsymbol{\nearrowtail}
% \showsymbol{\nwarrowtail}
% \showsymbol{\swarrowtail}
% \showsymbol{\searrowtail}
% \showsymbol{\rightmapsto}, \cmd{\mapsto}
% \showsymbol{\upmapsto}, \cmd{\mapsup}
% \showsymbol{\leftmapsto}, \cmd{\mapsfrom}
% \showsymbol{\downmapsto}, \cmd{\mapsdown}
% \showsymbol{\Rightmapsto}, \cmd{\Mapsto}
% \showsymbol{\Upmapsto}, \cmd{\Mapsup}
% \showsymbol{\Leftmapsto}, \cmd{\Mapsfrom}
% \showsymbol{\Downmapsto}, \cmd{\Mapsdown}
% \showsymbol{\hookrightarrow}
% \showsymbol{\hookuparrow}
% \showsymbol{\varhookleftarrow}
% \showsymbol{\varhookdownarrow}
% \showsymbol{\varhooknearrow}
% \showsymbol{\hooknwarrow}, \cmd{\hknwarrow}
% \showsymbol{\varhookswarrow}
% \showsymbol{\hooksearrow}, \cmd{\hksearrow}
% \showsymbol{\varhookrightarrow}
% \showsymbol{\varhookuparrow}
% \showsymbol{\hookleftarrow}
% \showsymbol{\hookdownarrow}
% \showsymbol{\hooknearrow}, \cmd{\hknearrow}
% \showsymbol{\varhooknwarrow}
% \showsymbol{\hookswarrow}, \cmd{\hkswarrow}
% \showsymbol{\varhooksearrow}
% \showsymbol{\rightharpoonup}
% \showsymbol{\upharpoonleft}
% \showsymbol{\leftharpoondown}
% \showsymbol{\downharpoonright}
% \showsymbol{\neharpoonnw}
% \showsymbol{\nwharpoonsw}
% \showsymbol{\swharpoonse}
% \showsymbol{\seharpoonne}
% \showsymbol{\rightharpoondown}
% \showsymbol{\upharpoonright}, \cmd{\restriction}
% \showsymbol{\leftharpoonup}
% \showsymbol{\downharpoonleft}
% \showsymbol{\neharpoonse}
% \showsymbol{\nwharpoonne}
% \showsymbol{\swharpoonnw}
% \showsymbol{\seharpoonsw}
% \showsymbol{\leftrightharpoonupdown}
% \showsymbol{\updownharpoonleftright}
% \showsymbol{\neswharpoonnwse}
% \showsymbol{\nwseharpoonnesw}
% \showsymbol{\leftrightharpoondownup}
% \showsymbol{\updownharpoonrightleft}
% \showsymbol{\neswharpoonsenw}
% \showsymbol{\nwseharpoonswne}
% \showsymbol{\rightleftharpoons}
% \showsymbol{\updownharpoons}, \cmd{\updownharpoonsleftright}
% \showsymbol{\neswharpoons}
% \showsymbol{\senwharpoons}
% \showsymbol{\leftrightharpoons}
% \showsymbol{\downupharpoons}, \cmd{\downupharpoonsleftright}
% \showsymbol{\swneharpoons}
% \showsymbol{\nwseharpoons}
% \showsymbol{\rightbkarrow}, \cmd{\dashrightarrow}, \cmd{\dasharrow}
% \showsymbol{\upbkarrow}
% \showsymbol{\leftbkarrow}, \cmd{\dashleftarrow}
% \showsymbol{\downbkarrow}
% \showsymbol{\nebkarrow}
% \showsymbol{\nwbkarrow}
% \showsymbol{\swbkarrow}
% \showsymbol{\sebkarrow}
% \showsymbol{\rightspoon}, \cmd{\multimap}
% \showsymbol{\upspoon}, \cmd{\cirmid}
% \showsymbol{\leftspoon}, \cmd{\multimapinv}
% \showsymbol{\downspoon}, \cmd{\midcir}
% \showsymbol{\rightblackspoon}
% \showsymbol{\upblackspoon}
% \showsymbol{\leftblackspoon}
% \showsymbol{\downblackspoon}
% \showsymbol{\leftrightspoon}, \cmd{\dualmap}
% \showsymbol{\leftrightblackspoon}
% \showsymbol{\blackwhitespoon}, \cmd{\imageof}
% \showsymbol{\whiteblackspoon}, \cmd{\origof}
% \showsymbol{\rightpitchfork}
% \showsymbol{\uppitchfork}, \cmd{\pitchfork}
% \showsymbol{\leftpitchfork}
% \showsymbol{\downpitchfork}
% \showsymbol{\rightrightarrows}
% \showsymbol{\upuparrows}
% \showsymbol{\leftleftarrows}
% \showsymbol{\downdownarrows}
% \showsymbol{\nenearrows}
% \showsymbol{\nwnwarrows}
% \showsymbol{\swswarrows}
% \showsymbol{\sesearrows}
% \showsymbol{\rightleftarrows}
% \showsymbol{\updownarrows}
% \showsymbol{\neswarrows}
% \showsymbol{\nwsearrows}
% \showsymbol{\leftrightarrows}
% \showsymbol{\downuparrows}
% \showsymbol{\swnearrows}
% \showsymbol{\senwarrows}
% \showsymbol{\rightwavearrow}, \cmd{\leadsto}, \cmd{\rightsquigarrow},
%   \cmd{\rightcurvedarrow}
% \showsymbol{\varupwavearrow}
% \showsymbol{\varleftwavearrow}
% \showsymbol{\downwavearrow}
% \showsymbol{\varrightwavearrow}
% \showsymbol{\upwavearrow}
% \showsymbol{\leftwavearrow}, \cmd{\leftsquigarrow}, \cmd{\leftcurvedarrow}
% \showsymbol{\vardownwavearrow}
% \showsymbol{\leftrightwavearrow}, \cmd{\leftrightsquigarrow}
% \showsymbol{\updownwavearrow}
% \showsymbol{\varleftrightwavearrow}
% \showsymbol{\varupdownwavearrow}
% \showsymbol{\cwoverarcarrow}, \cmd{\curvearrowright}
% \showsymbol{\cwleftarcarrow}
% \showsymbol{\cwunderarcarrow}
% \showsymbol{\cwrightarcarrow}
% \showsymbol{\cwnwarcarrow}, \cmd{\rightupcurvedarrow}
% \showsymbol{\cwswarcarrow}, \cmd{\upleftcurvedarrow}
% \showsymbol{\cwsearcarrow}, \cmd{\leftdowncurvedarrow}
% \showsymbol{\cwnearcarrow}, \cmd{\downrightcurvedarrow}
% \showsymbol{\acwunderarcarrow}
% \showsymbol{\acwrightarcarrow}
% \showsymbol{\acwoverarcarrow}, \cmd{\curvearrowleft}
% \showsymbol{\acwleftarcarrow}
% \showsymbol{\acwsearcarrow}, \cmd{\uprightcurvearrow}
% \showsymbol{\acwnearcarrow}, \cmd{\leftupcurvedarrow}
% \showsymbol{\acwnwarcarrow}, \cmd{\downleftcurvedarrow}
% \showsymbol{\acwswarcarrow}, \cmd{\rightdowncurvedarrow}
% \showsymbol{\bdoverarcarrow}
% \showsymbol{\bdleftarcarrow}
% \showsymbol{\bdunderarcarrow}
% \showsymbol{\bdrightarcarrow}
% \showsymbol{\bdnwarcarrow}
% \showsymbol{\bdswarcarrow}
% \showsymbol{\bdsearcarrow}
% \showsymbol{\bdnearcarrow}
% \showsymbol{\leftfootline}
% \showsymbol{\rightfootline}
% \showsymbol{\acwcirclearrowup}
% \showsymbol{\acwcirclearrowleft}, \cmd{\circlearrowleft},
%   \cmd{\acwopencirclearrow}
% \showsymbol{\acwcirclearrowdown}, \cmd{\acwgapcirclearrow}
% \showsymbol{\acwcirclearrowright}
% \showsymbol{\cwcirclearrowdown}, \cmd{\cwgapcirclearrow}
% \showsymbol{\cwcirclearrowright}, \cmd{\circlearrowright},
%   \cmd{\cwopencirclearrow}
% \showsymbol{\cwcirclearrowup}
% \showsymbol{\cwcirclearrowleft}
% \showsymbol{\Rrightarrow}
% \showsymbol{\Uuparrow}
% \showsymbol{\Lleftarrow}
% \showsymbol{\Ddownarrow}
% \showsymbol{\longrightarrow}
% \showsymbol{\longleftarrow}
% \showsymbol{\Longrightarrow}
% \showsymbol{\Longleftarrow}
% \showsymbol{\longleftrightarrow}
% \showsymbol{\Longleftrightarrow}
% \showsymbol{\longmapsto}
% \showsymbol{\longmapsfrom}
% \showsymbol{\Longmapsto}
% \showsymbol{\Longmapsfrom}
% \showsymbol{\longrightwavearrow}, \cmd{\longleadsto},
%   \cmd{\longrightsquigarrow}
% \showsymbol{\longleftwavearrow}, \cmd{\longleftsquigarrow}
% \showsymbol{\longleftfootline}, \cmd{\vlongdash}
% \showsymbol{\longrightfootline}, \cmd{\longdashv}
% \showsymbol{\Lsh}
% \showsymbol{\Rsh}
% \showsymbol{\Ldsh}
% \showsymbol{\Rdsh}
% \showsymbol{\looparrowright}
% \showsymbol{\looparrowleft}
% \showsymbol{\rightvdash}, \cmd{\vdash}
% \showsymbol{\upvdash}, \cmd{\perp}
% \showsymbol{\leftvdash}, \cmd{\dashv}
% \showsymbol{\downvdash}
% \showsymbol{\rightassert}, \cmd{\assert}, \cmd{\shortrighttack}
% \showsymbol{\upassert}, \cmd{\shortuptack}
% \showsymbol{\leftassert}, \cmd{\shortlefttack}
% \showsymbol{\downassert}, \cmd{\shortdowntack}
% \showsymbol{\rightvDash}, \cmd{\vDash}
% \showsymbol{\upvDash}, \cmd{\Vbar}
% \showsymbol{\leftvDash}, \cmd{\Dashv}
% \showsymbol{\downvDash}, \cmd{\barV}
% \showsymbol{\rightmodels}, \cmd{\models}
% \showsymbol{\upmodels}
% \showsymbol{\leftmodels}
% \showsymbol{\downmodels}
% \showsymbol{\rightVdash}, \cmd{\Vdash}
% \showsymbol{\upVdash}
% \showsymbol{\leftVdash}, \cmd{\dashV}
% \showsymbol{\downVdash}
% \showsymbol{\rightAssert}, \cmd{\Assert}
% \showsymbol{\upAssert}, \cmd{\vBar}
% \showsymbol{\leftAssert}
% \showsymbol{\downAssert}, \cmd{\Barv}
% \showsymbol{\rightVDash}, \cmd{\VDash}
% \showsymbol{\upVDash}
% \showsymbol{\leftVDash}, \cmd{\DashV}
% \showsymbol{\downVDash}
% \showsymbol{\Vvdash}
% \showsymbol{\dashVv}
% \showsymbol{\vDdash}
% \showsymbol{\Ddashv}
% \showsymbol{\nequal}, \cmd{\neq}, \cmd{\ne}
% \showsymbol{\nequiv}
% \showsymbol{\nsim}
% \showsymbol{\nbacksim}
% \showsymbol{\napprox}
% \showsymbol{\ntriplesim}, \cmd{\napproxident}
% \showsymbol{\nsimeq}, \cmd{\nsime}
% \showsymbol{\nbacksimeq}
% \showsymbol{\neqsim}
% \showsymbol{\ncong}
% \showsymbol{\nbackcong}
% \showsymbol{\napproxeq}
% \showsymbol{\nbumpeq}
% \showsymbol{\nbumpeqq}
% \showsymbol{\nBumpeq}
% \showsymbol{\ndoteq}
% \showsymbol{\neqdot}
% \showsymbol{\nDoteq}
% \showsymbol{\nfallingdotseq}
% \showsymbol{\nrisingdotseq}
% \showsymbol{\nsmile}
% \showsymbol{\nfrown}
% \showsymbol{\nsmilefrown}, \cmd{\nasymp}
% \showsymbol{\nfrownsmile}, \cmd{\nclosure}
% \showsymbol{\nsmileeq}
% \showsymbol{\nfrowneq}, \cmd{\narceq}
% \showsymbol{\neqcirc}
% \showsymbol{\ncirceq}
% \showsymbol{\nwedgeq}, \cmd{\nhateq}
% \showsymbol{\nveeeq}
% \showsymbol{\nstareq}
% \showsymbol{\ntriangleeq}
% \showsymbol{\nin}, \cmd{\notin}
% \showsymbol{\nowns}, \cmd{\nni}
% \showsymbol{\nless}
% \showsymbol{\ngtr}
% \showsymbol{\nleq}
% \showsymbol{\ngeq}
% \showsymbol{\nleqslant}
% \showsymbol{\ngeqslant}
% \showsymbol{\nleqq}
% \showsymbol{\ngeqq}
% \showsymbol{\nlesssim}
% \showsymbol{\ngtrsim}
% \showsymbol{\nlessapprox}
% \showsymbol{\ngtrapprox}
% \showsymbol{\nlessgtr}
% \showsymbol{\ngtrless}
% \showsymbol{\nlesseqgtr}
% \showsymbol{\ngtreqless}
% \showsymbol{\nlesseqqgtr}
% \showsymbol{\ngtreqqless}
% \showsymbol{\nlesseqslantgtr}, \cmd{\nlesg}
% \showsymbol{\ngtreqslantless}, \cmd{\ngesl}
% \showsymbol{\nll}
% \showsymbol{\ngg}
% \showsymbol{\nlll}
% \showsymbol{\nggg}
% \showsymbol{\nlessclosed}, \cmd{\ntriangleleft}
% \showsymbol{\ngtrclosed}, \cmd{\ntriangleright}
% \showsymbol{\nleqclosed}, \cmd{\ntrianglelefteq}
% \showsymbol{\ngeqclosed}, \cmd{\ntrianglerighteq}
% \showsymbol{\nlesscc}, \cmd{\nltcc}
% \showsymbol{\ngtrcc}, \cmd{\ngtcc}
% \showsymbol{\nleqslcc}, \cmd{\nlescc}
% \showsymbol{\ngeqslcc}, \cmd{\ngescc}
% \showsymbol{\nsqsubset}
% \showsymbol{\nsqsupset}
% \showsymbol{\nsqsubseteq}
% \showsymbol{\nsqsupseteq}
% \showsymbol{\nsqsubseteqq}
% \showsymbol{\nsqsupseteqq}
% \showsymbol{\nSqsubset}
% \showsymbol{\nSqsupset}
% \showsymbol{\nsubset}
% \showsymbol{\nsupset}
% \showsymbol{\nsubseteq}
% \showsymbol{\nsupseteq}
% \showsymbol{\nsubseteqq}
% \showsymbol{\nsupseteqq}
% \showsymbol{\nSubset}
% \showsymbol{\nSupset}
% \showsymbol{\nprec}
% \showsymbol{\nsucc}
% \showsymbol{\npreceq}
% \showsymbol{\nsucceq}
% \showsymbol{\npreccurlyeq}
% \showsymbol{\nsucccurlyeq}
% \showsymbol{\npreceqq}
% \showsymbol{\nsucceqq}
% \showsymbol{\nprecsim}
% \showsymbol{\nsuccsim}
% \showsymbol{\nprecapprox}
% \showsymbol{\nsuccapprox}
% \showsymbol{\nlessdot}
% \showsymbol{\ngtrdot}
% \showsymbol{\nleqdot}
% \showsymbol{\ngeqdot}
% \showsymbol{\nleqslantdot}, \cmd{\nlesdot}
% \showsymbol{\ngeqslantdot}, \cmd{\ngesdot}
% \showsymbol{\neqslantless}
% \showsymbol{\neqslantgtr}
% \showsymbol{\ncurlyeqprec}
% \showsymbol{\ncurlyeqsucc}
% \showsymbol{\simneqq}
% \showsymbol{\backsimneqq}
% \showsymbol{\lneq}
% \showsymbol{\gneq}
% \showsymbol{\lneqq}, \cmd{\lvertneqq}
% \showsymbol{\gneqq}, \cmd{\gvertneqq}
% \showsymbol{\lnsim}
% \showsymbol{\gnsim}
% \showsymbol{\lnapprox}
% \showsymbol{\gnapprox}
% \showsymbol{\sqsubsetneq}
% \showsymbol{\sqsupsetneq}
% \showsymbol{\sqsubsetneqq}
% \showsymbol{\sqsupsetneqq}
% \showsymbol{\subsetneq}, \cmd{\varsubsetneq}
% \showsymbol{\supsetneq}, \cmd{\varsupsetneq}
% \showsymbol{\subsetneqq}, \cmd{\varsubsetneqq}
% \showsymbol{\supsetneqq}, \cmd{\varsupsetneqq}
% \showsymbol{\precneq}
% \showsymbol{\succneq}
% \showsymbol{\precneqq}
% \showsymbol{\succneqq}
% \showsymbol{\precnsim}
% \showsymbol{\succnsim}
% \showsymbol{\precnapprox}
% \showsymbol{\succnapprox}
% \showsymbol{\nrightarrow}, \cmd{\nto}
% \showsymbol{\nuparrow}
% \showsymbol{\nleftarrow}, \cmd{\ngets}
% \showsymbol{\ndownarrow}
% \showsymbol{\nnearrow}
% \showsymbol{\nnwarrow}
% \showsymbol{\nswarrow}
% \showsymbol{\nsearrow}
% \showsymbol{\nRightarrow}
% \showsymbol{\nUparrow}
% \showsymbol{\nLeftarrow}
% \showsymbol{\nDownarrow}
% \showsymbol{\nNearrow}
% \showsymbol{\nNwarrow}
% \showsymbol{\nSwarrow}
% \showsymbol{\nSearrow}
% \showsymbol{\nleftrightarrow}
% \showsymbol{\nupdownarrow}
% \showsymbol{\nneswarrow}
% \showsymbol{\nnwsearrow}
% \showsymbol{\nLeftrightarrow}
% \showsymbol{\nUpdownarrow}
% \showsymbol{\nNeswarrow}
% \showsymbol{\nNwsearrow}
% \showsymbol{\ntwoheadrightarrow}
% \showsymbol{\ntwoheaduparrow}
% \showsymbol{\ntwoheadleftarrow}
% \showsymbol{\ntwoheaddownarrow}
% \showsymbol{\ntwoheadnearrow}
% \showsymbol{\ntwoheadnwarrow}
% \showsymbol{\ntwoheadswarrow}
% \showsymbol{\ntwoheadsearrow}
% \showsymbol{\nrightarrowtail}
% \showsymbol{\nuparrowtail}
% \showsymbol{\nleftarrowtail}
% \showsymbol{\ndownarrowtail}
% \showsymbol{\nnearrowtail}
% \showsymbol{\nnwarrowtail}
% \showsymbol{\nswarrowtail}
% \showsymbol{\nsearrowtail}
% \showsymbol{\nrightmapsto}, \cmd{\nmapsto}
% \showsymbol{\nupmapsto}, \cmd{\nmapsup}
% \showsymbol{\nleftmapsto}, \cmd{\nmapsfrom}
% \showsymbol{\ndownmapsto}, \cmd{\nmapsdown}
% \showsymbol{\nRightmapsto}, \cmd{\nMapsto}
% \showsymbol{\nUpmapsto}, \cmd{\nMapsup}
% \showsymbol{\nLeftmapsto}, \cmd{\nMapsfrom}
% \showsymbol{\nDownmapsto}, \cmd{\nMapsdown}
% \showsymbol{\nhookrightarrow}
% \showsymbol{\nhookuparrow}
% \showsymbol{\nvarhookleftarrow}
% \showsymbol{\nvarhookdownarrow}
% \showsymbol{\nvarhooknearrow}
% \showsymbol{\nhooknwarrow}, \cmd{\nhknwarrow}
% \showsymbol{\nvarhookswarrow}
% \showsymbol{\nhooksearrow}, \cmd{\nhksearrow}
% \showsymbol{\nvarhookrightarrow}
% \showsymbol{\nvarhookuparrow}
% \showsymbol{\nhookleftarrow}
% \showsymbol{\nhookdownarrow}
% \showsymbol{\nhooknearrow}, \cmd{\nhknearrow}
% \showsymbol{\nvarhooknwarrow}
% \showsymbol{\nhookswarrow}, \cmd{\nhkswarrow}
% \showsymbol{\nvarhooksearrow}
% \showsymbol{\nrightharpoonup}
% \showsymbol{\nupharpoonleft}
% \showsymbol{\nleftharpoondown}
% \showsymbol{\ndownharpoonright}
% \showsymbol{\nneharpoonnw}
% \showsymbol{\nnwharpoonsw}
% \showsymbol{\nswharpoonse}
% \showsymbol{\nseharpoonne}
% \showsymbol{\nrightharpoondown}
% \showsymbol{\nupharpoonright}, \cmd{\nrestriction}
% \showsymbol{\nleftharpoonup}
% \showsymbol{\ndownharpoonleft}
% \showsymbol{\nneharpoonse}
% \showsymbol{\nnwharpoonne}
% \showsymbol{\nswharpoonnw}
% \showsymbol{\nseharpoonsw}
% \showsymbol{\nleftrightharpoonupdown}
% \showsymbol{\nupdownharpoonleftright}
% \showsymbol{\nneswharpoonnwse}
% \showsymbol{\nnwseharpoonnesw}
% \showsymbol{\nleftrightharpoondownup}
% \showsymbol{\nupdownharpoonrightleft}
% \showsymbol{\nneswharpoonsenw}
% \showsymbol{\nnwseharpoonswne}
% \showsymbol{\nrightleftharpoons}
% \showsymbol{\nupdownharpoons}, \cmd{\nupdownharpoonsleftright}
% \showsymbol{\nneswharpoons}
% \showsymbol{\nsenwharpoons}
% \showsymbol{\nleftrightharpoons}
% \showsymbol{\ndownupharpoons}, \cmd{\ndownupharpoonsleftright}
% \showsymbol{\nswneharpoons}
% \showsymbol{\nnwseharpoons}
% \showsymbol{\nrightbkarrow}, \cmd{\ndasharrow}, \cmd{\ndashrightarrow}
% \showsymbol{\nupbkarrow}
% \showsymbol{\nleftbkarrow}, \cmd{\ndashleftarrow}
% \showsymbol{\ndownbkarrow}
% \showsymbol{\nnebkarrow}
% \showsymbol{\nnwbkarrow}
% \showsymbol{\nswbkarrow}
% \showsymbol{\nsebkarrow}
% \showsymbol{\nrightspoon}, \cmd{\nmultimap}
% \showsymbol{\nupspoon}, \cmd{\ncirmid}
% \showsymbol{\nleftspoon}, \cmd{\nmultimapinv}
% \showsymbol{\ndownspoon}, \cmd{\nmidcir}
% \showsymbol{\nrightblackspoon}
% \showsymbol{\nupblackspoon}
% \showsymbol{\nleftblackspoon}
% \showsymbol{\ndownblackspoon}
% \showsymbol{\nleftrightspoon}, \cmd{\ndualmap}
% \showsymbol{\nleftrightblackspoon}
% \showsymbol{\nblackwhitespoon}, \cmd{\nimageof}
% \showsymbol{\nwhiteblackspoon}, \cmd{\norigof}
% \showsymbol{\nrightpitchfork}
% \showsymbol{\nuppitchfork}, \cmd{\npitchfork}
% \showsymbol{\nleftpitchfork}
% \showsymbol{\ndownpitchfork}
% \showsymbol{\nrightrightarrows}
% \showsymbol{\nupuparrows}
% \showsymbol{\nleftleftarrows}
% \showsymbol{\ndowndownarrows}
% \showsymbol{\nnenearrows}
% \showsymbol{\nnwnwarrows}
% \showsymbol{\nswswarrows}
% \showsymbol{\nsesearrows}
% \showsymbol{\nrightleftarrows}
% \showsymbol{\nupdownarrows}
% \showsymbol{\nneswarrows}
% \showsymbol{\nnwsearrows}
% \showsymbol{\nleftrightarrows}
% \showsymbol{\ndownuparrows}
% \showsymbol{\nswnearrows}
% \showsymbol{\nsenwarrows}
% \showsymbol{\nrightwavearrow}, \cmd{\nleadsto}, \cmd{\nrightsquigarrow},
%   \cmd{\nrightcurvedarrow}
% \showsymbol{\nvarupwavearrow}
% \showsymbol{\nvarleftwavearrow}
% \showsymbol{\ndownwavearrow}
% \showsymbol{\nvarrightwavearrow}
% \showsymbol{\nupwavearrow}
% \showsymbol{\nleftwavearrow}, \cmd{\nleftsquigarrow}, \cmd{\nleftcurvedarrow}
% \showsymbol{\nvardownwavearrow}
% \showsymbol{\nleftrightwavearrow}, \cmd{\nleftrightsquigarrow}
% \showsymbol{\nupdownwavearrow}
% \showsymbol{\nvarleftrightwavearrow}
% \showsymbol{\nvarupdownwavearrow}
% \showsymbol{\ncwoverarcarrow}, \cmd{\ncurvearrowright}
% \showsymbol{\ncwleftarcarrow}
% \showsymbol{\ncwunderarcarrow}
% \showsymbol{\ncwrightarcarrow}
% \showsymbol{\ncwnwarcarrow}, \cmd{\nrightupcurvedarrow}
% \showsymbol{\ncwswarcarrow}, \cmd{\nupleftcurvedarrow}
% \showsymbol{\ncwsearcarrow}, \cmd{\nleftdowncurvedarrow}
% \showsymbol{\ncwnearcarrow}, \cmd{\ndownrightcurvedarrow}
% \showsymbol{\nacwunderarcarrow}
% \showsymbol{\nacwrightarcarrow}
% \showsymbol{\nacwoverarcarrow}, \cmd{\ncurvearrowleft}
% \showsymbol{\nacwleftarcarrow}
% \showsymbol{\nacwsearcarrow}, \cmd{\nuprightcurvearrow}
% \showsymbol{\nacwnearcarrow}, \cmd{\nleftupcurvedarrow}
% \showsymbol{\nacwnwarcarrow}, \cmd{\ndownleftcurvedarrow}
% \showsymbol{\nacwswarcarrow}, \cmd{\nrightdowncurvedarrow}
% \showsymbol{\nbdoverarcarrow}
% \showsymbol{\nbdleftarcarrow}
% \showsymbol{\nbdunderarcarrow}
% \showsymbol{\nbdrightarcarrow}
% \showsymbol{\nbdnwarcarrow}
% \showsymbol{\nbdswarcarrow}
% \showsymbol{\nbdsearcarrow}
% \showsymbol{\nbdnearcarrow}
% \showsymbol{\nleftfootline}
% \showsymbol{\nrightfootline}
% \showsymbol{\nacwcirclearrowup}
% \showsymbol{\nacwcirclearrowleft}, \cmd{\ncirclearrowleft},
%   \cmd{\nacwopencirclearrow}
% \showsymbol{\nacwcirclearrowdown}, \cmd{\nacwgapcirclearrow}
% \showsymbol{\nacwcirclearrowright}
% \showsymbol{\ncwcirclearrowdown}, \cmd{\ncwgapcirclearrow}
% \showsymbol{\ncwcirclearrowright}, \cmd{\ncirclearrowright},
%   \cmd{\ncwopencirclearrow}
% \showsymbol{\ncwcirclearrowup}
% \showsymbol{\ncwcirclearrowleft}
% \showsymbol{\nRrightarrow}
% \showsymbol{\nUuparrow}
% \showsymbol{\nLleftarrow}
% \showsymbol{\nDdownarrow}
% \showsymbol{\nlongrightarrow}
% \showsymbol{\nlongleftarrow}
% \showsymbol{\nLongrightarrow}
% \showsymbol{\nLongleftarrow}
% \showsymbol{\nlongleftrightarrow}
% \showsymbol{\nLongleftrightarrow}
% \showsymbol{\nlongmapsto}
% \showsymbol{\nlongmapsfrom}
% \showsymbol{\nLongmapsto}
% \showsymbol{\nLongmapsfrom}
% \showsymbol{\nlongrightwavearrow}, \cmd{\nlongleadsto},
%   \cmd{\nlongrightsquigarrow}
% \showsymbol{\nlongleftwavearrow}, \cmd{\nlongleftsquigarrow}
% \showsymbol{\nlongleftfootline}, \cmd{\nvlongdash}
% \showsymbol{\nlongrightfootline}, \cmd{\nlongdashv}
% \showsymbol{\nrightvdash}, \cmd{\nvdash}
% \showsymbol{\nupvdash}, \cmd{\nperp}
% \showsymbol{\nleftvdash}, \cmd{\ndashv}
% \showsymbol{\ndownvdash}
% \showsymbol{\nrightassert}, \cmd{\nassert}, \cmd{\nshortrighttack}
% \showsymbol{\nupassert}, \cmd{\nshortuptack}
% \showsymbol{\nleftassert}, \cmd{\nshortlefttack}
% \showsymbol{\ndownassert}, \cmd{\nshortdowntack}
% \showsymbol{\nrightvDash}, \cmd{\nvDash}
% \showsymbol{\nupvDash}, \cmd{\nVbar}
% \showsymbol{\nleftvDash}, \cmd{\nDashv}
% \showsymbol{\ndownvDash}, \cmd{\nbarV}
% \showsymbol{\nrightmodels}, \cmd{\nmodels}
% \showsymbol{\nupmodels}
% \showsymbol{\nleftmodels}
% \showsymbol{\ndownmodels}
% \showsymbol{\nrightVdash}, \cmd{\nVdash}
% \showsymbol{\nupVdash}
% \showsymbol{\nleftVdash}, \cmd{\ndashV}
% \showsymbol{\ndownVdash}
% \showsymbol{\nrightAssert}, \cmd{\nAssert}
% \showsymbol{\nupAssert}, \cmd{\nvBar}
% \showsymbol{\nleftAssert}
% \showsymbol{\ndownAssert}, \cmd{\nBarv}
% \showsymbol{\nrightVDash}, \cmd{\nVDash}
% \showsymbol{\nupVDash}
% \showsymbol{\nleftVDash}, \cmd{\nDashV}
% \showsymbol{\ndownVDash}
% \showsymbol{\nVvdash}
% \showsymbol{\ndashVv}
% \showsymbol{\nvDdash}
% \showsymbol{\nDdashv}
% \showsymbol{:}, \cmd{\mathratio}
% \showsymbol{\Colon}
% \showsymbol{\relbar}
% \showsymbol{\dotsminusdots}
% \showsymbol{\rJoin}
% \showsymbol{\lJoin}
% \showsymbol{\bowtie}, \cmd{\Join}
% \showsymbol{\propto}, \cmd{\varpropto}
% \showsymbol{\backpropto}, \cmd{\propfrom}
% \showsymbol{\crossing}
% \showsymbol{\between}
% \showsymbol{\shortmid}
% \showsymbol{\mid}, \cmd{\divides}
% \showsymbol{\nshortmid}
% \showsymbol{\nmid}, \cmd{\ndivides}
% \showsymbol{\shortparallel}
% \showsymbol{\parallel}
% \showsymbol{\nshortparallel}
% \showsymbol{\nparallel}
% \end{multicols}
%
% \subsection{Punctuation symbols}
%
% \begin{multicols}{2}
% \raggedright
% \showsymbol\cdotp
% \showsymbol\colon, \cmd{\mathcolon}
% \end{multicols}
%
% \subsection{Large operators}
%
% \begin{multicols}{2}
% \raggedright
% \showop{\bigplus}
% \showop{\bigtimes}
% \showop{\bigwedge}
% \showop{\bigvee}
% \showop{\bigwedgedot}
% \showop{\bigveedot}
% \showop{\bigdoublewedge}, \cmd{\conjquant}
% \showop{\bigdoublevee}, \cmd{\disjquant}
% \showop{\bigcurlywedge}
% \showop{\bigcurlyvee}
% \showop{\bigcap}
% \showop{\bigcup}
% \showop{\bigcapdot}
% \showop{\bigcupdot}
% \showop{\bigcapplus}
% \showop{\bigcupplus}, \cmd{\biguplus}
% \showop{\bigsqcap}
% \showop{\bigsqcup}
% \showop{\bigsqcapdot}
% \showop{\bigsqcupdot}
% \showop{\bigsqcapplus}
% \showop{\bigsqcupplus}
% \showop{\bigoplus}
% \showop{\bigotimes}
% \showop{\bigodot}
% \showop{\bigoast}
% \showop{\prod}
% \showop{\varprod}
% \showop{\coprod}
% \showop{\varcoprod}
% \showop{\sum}
% \showop{\varsum}
% \showop{\osum}, \cmd{\modtwosum}
% \showop{\varosum}, \cmd{\varmodtwosum}
% \showop{\int}
% \showop{\iint}
% \showop{\iiint}
% \showop{\iiiint}
% \showop{\idotsint}, \cmd{\dotsint}
% \showop{\landupint}, \cmd{\intclockwise}
% \showop{\landdownint}, \cmd{\awint}, \cmd{\intctrclockwise}
% \showop{\intbar}
% \showop{\intBar}
% \showop{\fint}
% \showop{\oint}
% \showop{\oiint}
% \showop{\oiiint}
% \showop{\rcirclerightint}, \cmd{\ointctrclockwise}
% \showop{\lcirclerightint}, \cmd{\varointclockwise}
% \showop{\rcircleleftint}, \cmd{\varointctrclockwise}
% \showop{\lcircleleftint}, \cmd{\ointclockwise}
% \showop{\sumint}
% \showop{\varsumint}
% \showop{\smallprod}
% \showop{\varsmallprod}
% \showop{\smallcoprod}
% \showop{\varsmallcoprod}
% \showop{\smallint}
% \showop{\surd}
% \end{multicols}
%
% \subsection{Delimiters and accents}
%
% \begin{multicols}{2}
% \raggedright
% \showlbrace{(}, \cmd{\lparen}
% \showrbrace{)}, \cmd{\rparen}
% \showlbrace{[}, \cmd{\lbrack}
% \showrbrace{]}, \cmd{\rbrack}
% \showlbrace{\lfloor}
% \showrbrace{\rfloor}
% \showlbrace{\lceil}
% \showrbrace{\rceil}
% \showlbrace{\ulcorner}
% \showrbrace{\urcorner}
% \showlbrace{\llcorner}
% \showrbrace{\lrcorner}
% \showlbrace{\ullcorner}
% \showrbrace{\ulrcorner}
% \showlbrace{\lsem}, \cmd{\lBrack}
% \showrbrace{\rsem}, \cmd{\rBrack}
% \showlbrace{\lbrace}, \cmd{\{}
% \showrbrace{\rbrace}, \cmd{\}}
% \showlbrace{\langle}
% \showrbrace{\rangle}
% \showlbrace{\lAngle}
% \showrbrace{\rAngle}
% \showlbrace{\langledot}
% \showrbrace{\rangledot}
% \showmbrace{/}, \cmd{\mathslash}
% \showmbrace{\backslash}
% {\catcode`\|=11 \showmbrace{|}, \cmd{\vert}}
% \showlbrace{\lvert}
% \showrbrace{\rvert}
% \showmbrace{\Vert}, \cmd{\|}
% \showlbrace{\lVert}
% \showrbrace{\rVert}
% \showmbrace{\Vvert}
% \showlbrace{\lVvert}
% \showrbrace{\rVvert}
% \showmbrace{\arrowvert}
% \showmbrace{\Arrowvert}
% \showlbrace{\lgroup}
% \showrbrace{\rgroup}
% \showlbrace{\lmoustache}
% \showrbrace{\rmoustache}
% \showmbrace{\bracevert}
% \showmbrace{\uparrow}
% \showmbrace{\downarrow}
% \showmbrace{\updownarrow}
% \showmbrace{\Uparrow}
% \showmbrace{\Downarrow}
% \showmbrace{\Updownarrow}
% \end{multicols}
%
% \begin{multicols}{2}
% \showover{\overbrace}
% \showover{\underbrace}
% \showover{\overgroup}
% \showover{\undergroup}
% \showover{\overlinesegment}
% \showover{\overleftharpoon}
% \showover{\overrightharpoon}
% \showover{\underlinesegment}
% \end{multicols}
%
% \begin{multicols}{2}
% \raggedright
% \showaccent{\sqrt}
% \showover{\widehat}
% \showover{\widetilde}
% \showover{\wideparen}
% \showaccent{\vec}
% \showaccent{\middlebar}
% \showaccent{\middleslash}
% \showaccent{\strokethrough}
% \end{multicols}
%
% \subsection{Faked symbols}
%
% The following symbols are taken from the text font or
% another math font (in case of \cmd{\Bbbk}, \cmd{\Re} and \cmd{\Im}).
%
% \begin{multicols}{2}
% \raggedright

% \showsymbol{\dagger}
% \showsymbol{\ddagger}
% \showsymbol{\mathparagraph}
% \showsymbol{\mathsection}
% \showsymbol{\mathdollar}
% \showsymbol{\mathsterling}
% \showsymbol{\yen}
% \showsymbol{\Bbbk}
% \showsymbol{\Re}
% \showsymbol{\Im}
% \showsymbol{\hbar}
% \showsymbol{\hslash}
% \showsymbol{\circledR}
% \showsymbol{\circledS}
% \end{multicols}
%
% \subsection{Missing symbols}
%
% The following symbols from Computer Modern or the AMS fonts are missing
% in FdSymbol. If available, they should be taken from the text font.
% \iffalse
% (For instance, the \pkg{fedraserif} package defines most of them.)
% \fi
% \begin{multicols}{3}
% \parindent=0pt
% |\mho|\par
% |\nabla|\par
% |\eth|\par
% |\digamma|\par
% |\varkappa|\par
% |\backepsilon|\par
% |\mapstochar|\par
% |\lhook|\par
% |\rhook|\par
% |\diagup|\par
% |\diagdown|\par
% \quad
% \end{multicols}
%
% \StopEventually{}
%
% \section{Implementation}
%
%    \begin{macrocode}
%&lt;*style&gt;
\RequirePackage{xkeyval}
\newcommand*\fdsy@choicekey[3]{%
  \define@choicekey*{fdsymbol.sty}{#1}[\@tempa\@tempb]{#2}{#3}%
}
%    \end{macrocode}
% We use \pkg{xkeyval}'s key mechanism to declare all options. The
% first options determines the size of delimiters.
%    \begin{macrocode}
\define@boolkey{fdsymbol.sty}[fdsy@]{largedelims}[true]{}
%    \end{macrocode}
% The next option allows to scale the fonts by an arbitrary factor.
%    \begin{macrocode}
\newcommand{\fdsy@scale}{1.0}
\define@key{fdsymbol.sty}{scale}{\renewcommand\fdsy@scale{#1}}
%    \end{macrocode}
% The following two options control which weights are used
% for which math version and font size.
%    \begin{macrocode}
\newcommand\fdsy@mweight@normal{Book}
\newcommand\fdsy@mweight@small{Book}
\newcommand\fdsy@bweight@normal{Medium}
\newcommand\fdsy@bweight@small{Medium}
\fdsy@choicekey{normalweight}{book,regular,auto}{%
  \ifcase\@tempb\relax
    \renewcommand\fdsy@mweight@normal{Book}%
    \renewcommand\fdsy@mweight@small{Book}%
  \or
    \renewcommand\fdsy@mweight@normal{Demi}%
    \renewcommand\fdsy@mweight@small{Demi}%
  \or
    \renewcommand\fdsy@mweight@normal{Book}%
    \renewcommand\fdsy@mweight@small{Demi}%
  \fi
}
\fdsy@choicekey{boldweight}{medium,bold,auto}{%
  \ifcase\@tempb\relax
    \renewcommand\fdsy@bweight@normal{Medium}%
    \renewcommand\fdsy@bweight@small{Medium}%
  \or
    \renewcommand\fdsy@bweight@normal{Bold}%
    \renewcommand\fdsy@bweight@small{Bold}%
  \or
    \renewcommand\fdsy@bweight@normal{Medium}%
    \renewcommand\fdsy@bweight@small{Bold}%
  \fi
}
%    \end{macrocode}
% Finally, the following option controls the style of large operators.
%    \begin{macrocode}
\newif\iffdsy@sfop
\fdsy@choicekey{opstyle}{serif,sans}{%
  \ifcase\@tempb\relax
    \fdsy@sfopfalse
  \or
    \fdsy@sfoptrue
  \fi
}
\ExecuteOptionsX{largedelims=false,opstyle=serif}
\ProcessOptionsX
%    \end{macrocode}
% Load external packages, but only if they are not already loaded
% in order to avoid warning messages about loading a package twice
% with different options.
%    \begin{macrocode}
\@ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
\@ifpackageloaded{textcomp}{}{\RequirePackage{textcomp}}
%    \end{macrocode}
% If the option \textsf{largedelims} has been selected, we readjust the
% scaling factors of big delimiters, so that |\Big|, |\bigg| and |\Bigg| do
% not change their size.
%    \begin{macrocode}
\iffdsy@largedelims
  \renewcommand{\Big}{\bBigg@{1.25}}
  \renewcommand{\bigg}{\bBigg@{1.66}}
  \renewcommand{\Bigg}{\bBigg@{2.08}}
\fi
%    \end{macrocode}
% Some symbols missing from FdSymbol can be obtained from other fonts or
% by combining several other symbols.
%    \begin{macrocode}
\DeclareRobustCommand{\dagger}{\fdsy@text{\textdagger}}
\DeclareRobustCommand{\ddagger}{\fdsy@text{\textdaggerdbl}}
\DeclareRobustCommand{\mathparagraph}{\fdsy@text{\textparagraph}}
\DeclareRobustCommand{\mathsection}{\fdsy@text{\textsection}}
\DeclareRobustCommand{\mathdollar}{\fdsy@text{\textdollar}}
\DeclareRobustCommand{\mathsterling}{\fdsy@text{\textsterling}}
\DeclareRobustCommand{\yen}{\fdsy@text{\textyen}}
\DeclareRobustCommand{\circledR}{\fdsy@text{\textcircled{%
  \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont R}}}
\DeclareRobustCommand{\circledS}{\fdsy@text{\textcircled{%
  \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont S}}}
\DeclareRobustCommand{\Re}{\mathfrak{R}}
\DeclareRobustCommand{\Im}{\mathfrak{I}}
\DeclareRobustCommand{\dotcong}{\mathrel{\dot{\cong}}}
\DeclareRobustCommand{\thicksim}{\mathrel{\text{\boldmath$\m@th\sim$}}}
\DeclareRobustCommand{\thickapprox}{\mathrel{\text{\boldmath$\m@th\approx$}}}
\let\hbar\undefined
\let\hslash\undefined
\DeclareRobustCommand{\hbar}{\middlebar h}
\DeclareRobustCommand{\hslash}{\middleslash h}
\DeclareRobustCommand{\centerdot}{\mathbin{\rule{0.15em}{0.15em}}}
%    \end{macrocode}
% Unneeded partial symbols.
%    \begin{macrocode}
\let\mapstochar\undefined
\let\lhook\undefined
\let\rhook\undefined
%    \end{macrocode}
% Shorthands to simplify the definitions below.
%    \begin{macrocode}
\newcommand\fdsy@setslot[1]{\@tempcnta #1\relax}
\newcommand\fdsy@nextslot{\advance\@tempcnta 1\relax}
\newcommand\fdsy@prevslot{\advance\@tempcnta-1\relax}

\newcommand\fdsy@@DeclareSymbol[4]{\DeclareMathSymbol{#2}{#3}{#4}{#1}}
\newcommand\fdsy@DeclareSymbol[3]{%
  \if\relax\noexpand#1\let#1\undefined\fi
  \expandafter\fdsy@@DeclareSymbol\expandafter{\the\@tempcnta}{#1}{#3}{#2}%
  \fdsy@nextslot
}
\newcommand\fdsy@DeclareAlias[3]{\fdsy@prevslot\fdsy@DeclareSymbol{#1}{#2}{#3}}
\newcommand\fdsy@DeclareOperator[3]{\def#1{\DOTSB#3\slimits@}}
\newcommand\fdsy@DeclareIntegral[3]{\def#1{\DOTSI#3\ilimits@}}
\newcommand\fdsy@DeclareDelimiter[4]{%
  \if\relax\noexpand#1\let#1\undefined\fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}%
}
\newcommand\fdsy@DeclareOpen[3]{\fdsy@DeclareDelimiter{#1}{\mathopen}{#2}{#3}}
\newcommand\fdsy@DeclareClose[3]{\fdsy@DeclareDelimiter{#1}{\mathclose}{#2}{#3}}
%    \end{macrocode}
% Font definitions.
%    \begin{macrocode}
\DeclareFontFamily{U}{FdSymbolA}{}
\DeclareFontFamily{U}{FdSymbolB}{}
\DeclareFontFamily{U}{FdSymbolC}{}
\DeclareFontFamily{U}{FdSymbolD}{}
\DeclareFontFamily{U}{FdSymbolE}{}
\DeclareFontFamily{U}{FdSymbolF}{}

\DeclareFontShape{U}{FdSymbolA}{m}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolA-\fdsy@mweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolA-\fdsy@mweight@normal
}{}
\DeclareFontShape{U}{FdSymbolA}{b}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolA-\fdsy@bweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolA-\fdsy@bweight@normal
}{}
\DeclareFontShape{U}{FdSymbolB}{m}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolB-\fdsy@mweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolB-\fdsy@mweight@normal
}{}
\DeclareFontShape{U}{FdSymbolB}{b}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolB-\fdsy@bweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolB-\fdsy@bweight@normal
}{}
\DeclareFontShape{U}{FdSymbolC}{m}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolC-\fdsy@mweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolC-\fdsy@mweight@normal
}{}
\DeclareFontShape{U}{FdSymbolC}{b}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolC-\fdsy@bweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolC-\fdsy@bweight@normal
}{}
\DeclareFontShape{U}{FdSymbolD}{m}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolD-\fdsy@mweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolD-\fdsy@mweight@normal
}{}
\DeclareFontShape{U}{FdSymbolD}{b}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolD-\fdsy@bweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolD-\fdsy@bweight@normal
}{}
\DeclareFontShape{U}{FdSymbolE}{m}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolE-\fdsy@mweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolE-\fdsy@mweight@normal
}{}
\DeclareFontShape{U}{FdSymbolE}{b}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolE-\fdsy@bweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolE-\fdsy@bweight@normal
}{}
\DeclareFontShape{U}{FdSymbolF}{m}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolF-\fdsy@mweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolF-\fdsy@mweight@normal
}{}
\DeclareFontShape{U}{FdSymbolF}{b}{n}{
    &lt;-7.1&gt; s * [\fdsy@scale] FdSymbolF-\fdsy@bweight@small
    &lt;7.1-&gt; s * [\fdsy@scale] FdSymbolF-\fdsy@bweight@normal
}{}

\DeclareSymbolFont{symbols}{U}{FdSymbolA}{m}{n}
\DeclareSymbolFont{relations}{U}{FdSymbolB}{m}{n}
\DeclareSymbolFont{arrows}{U}{FdSymbolC}{m}{n}
\DeclareSymbolFont{narrows}{U}{FdSymbolD}{m}{n}
\DeclareSymbolFont{largesymbols}{U}{FdSymbolE}{m}{n}
\DeclareSymbolFont{delimiters}{U}{FdSymbolF}{m}{n}
\SetSymbolFont{symbols}{bold}{U}{FdSymbolA}{b}{n}
\SetSymbolFont{relations}{bold}{U}{FdSymbolB}{b}{n}
\SetSymbolFont{arrows}{bold}{U}{FdSymbolC}{b}{n}
\SetSymbolFont{narrows}{bold}{U}{FdSymbolD}{b}{n}
\SetSymbolFont{largesymbols}{bold}{U}{FdSymbolE}{b}{n}
\SetSymbolFont{delimiters}{bold}{U}{FdSymbolF}{b}{n}
%    \end{macrocode}
% At the moment, we still use cmsy for the calligraphic alphabet,
% msb for the blackboard bold alphabet, and euf for the Fraktur
% alphabet.
%    \begin{macrocode}
\DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{m}{n}
\SetMathAlphabet{\mathcal}{bold}{OMS}{cmsy}{b}{n}
\DeclareMathAlphabet{\mathbb}{U}{msb}{m}{n}
\DeclareMathAlphabet{\mathfrak}{U}{euf}{m}{n}
\SetMathAlphabet{\mathfrak}{bold}{U}{euf}{b}{n}
\let\Bbbk\undefined
\newcommand{\Bbbk}{\mathbb{\mathchar"717C}}
%    \end{macrocode}
% A command for taking math symbols from the text font.
%    \begin{macrocode}
\def\fdsy@bold{bold}
\newcommand*\fdsy@text[1]{%
  \ifx\fdsy@bold\math@version
    \text{\normalfont\bfseries#1}%
  \else
    \text{\normalfont\mdseries#1}%
  \fi
}
%    \end{macrocode}
% FdSymbolA: binary operators and ordinary symbols
%    \begin{macrocode}
\fdsy@setslot{0}
\fdsy@DeclareSymbol{\cdot}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\cdotp}{symbols}{\mathpunct}
\fdsy@DeclareSymbol{\hdotdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\vdotdot}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\colon}{symbols}{\mathpunct}
  \fdsy@DeclareAlias{\mathcolon}{symbols}{\mathpunct}
  \fdsy@DeclareAlias{\mathratio}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\udotdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\ddotdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\hdots}{symbols}{\mathord}
  \fdsy@DeclareAlias{\@cdots}{symbols}{\mathinner}
  \let\cdots\@cdots
\fdsy@DeclareSymbol{\@vdots}{symbols}{\mathord}
\DeclareRobustCommand{\vdots}{\ifmmode\@vdots\else\hbox{$\@vdots$}\fi}
\fdsy@DeclareSymbol{\udots}{symbols}{\mathord}
  \fdsy@DeclareAlias{\adots}{symbols}{\mathord}
\fdsy@DeclareSymbol{\ddots}{symbols}{\mathord}
\fdsy@DeclareSymbol{\righttherefore}{symbols}{\mathord}
\fdsy@DeclareSymbol{\uptherefore}{symbols}{\mathord}
  \fdsy@DeclareAlias{\therefore}{symbols}{\mathord}
\fdsy@DeclareSymbol{\lefttherefore}{symbols}{\mathord}
\fdsy@DeclareSymbol{\downtherefore}{symbols}{\mathord}
  \fdsy@DeclareAlias{\because}{symbols}{\mathord}
\fdsy@DeclareSymbol{\squaredots}{symbols}{\mathord}
  \fdsy@DeclareAlias{\Colon}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\minus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medslash}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smalldivslash}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medbackslash}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smallsetminus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\plus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\times}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\dotminus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\minusdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\div}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\minusfdots}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\minusrdots}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\dotsminusdots}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\pm}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\mp}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\dotplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\plusdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\dottimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\timesbar}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\divideontimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\neg}{symbols}{\mathord}
  \fdsy@DeclareAlias{\lnot}{symbols}{\mathord}
  \fdsy@DeclareAlias{\minushookdown}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\backneg}{symbols}{\mathord}
  \fdsy@DeclareAlias{\hookdownminus}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\invneg}{symbols}{\mathord}
  \fdsy@DeclareAlias{\invnot}{symbols}{\mathord}
\fdsy@DeclareSymbol{\intprod}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\minushookup}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\turnedneg}{symbols}{\mathord}
  \fdsy@DeclareAlias{\turnednot}{symbols}{\mathord}
\fdsy@DeclareSymbol{\intprodr}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\hookupminus}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\turnedbackneg}{symbols}{\mathord}
\fdsy@DeclareSymbol{\leftthreetimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\rightthreetimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\dtimes}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\btimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\rtimes}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\rJoin}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\utimes}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\ttimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\ltimes}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\lJoin}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\bowtie}{symbols}{\mathrel}
  \fdsy@DeclareAlias{\Join}{symbols}{\mathrel}
  \fdsy@DeclareAlias{\lrtimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\upbowtie}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\hourglass}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\rightY}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\upY}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\leftY}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\downY}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\wedge}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\land}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\vee}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\lor}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\wedgedot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\veedot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\doublewedge}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\wedgeonwedge}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\doublevee}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\veeonvee}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\curlywedge}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\curlyvee}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\barwedge}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\veebar}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\doublebarwedge}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\veedoublebar}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\cup}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\cap}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\doublecup}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\Cup}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\doublecap}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\Cap}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\cupdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\capdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\cupplus}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\uplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\capplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\sqcup}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\sqcap}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\doublesqcup}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\Sqcup}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\doublesqcap}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\Sqcap}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\sqcupdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\sqcapdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\sqcupplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\sqcapplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\pullback}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\pushout}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smalltriangleright}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smalltriangleup}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smalltriangleleft}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smalltriangledown}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblacktriangleright}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblacktriangleup}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblacktriangleleft}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblacktriangledown}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medtriangleright}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\triangleright}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medtriangleup}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\triangle}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\vartriangle}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medtriangleleft}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\triangleleft}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medtriangledown}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\triangledown}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblacktriangleright}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\blacktriangleright}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblacktriangleup}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\blacktriangle}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblacktriangleleft}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\blacktriangleleft}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblacktriangledown}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\blacktriangledown}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\largetriangleup}{symbols}{\mathord}
  \fdsy@DeclareAlias{\bigtriangleup}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\largetriangledown}{symbols}{\mathord}
  \fdsy@DeclareAlias{\bigtriangledown}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallcircle}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\circ}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smwhtcircle}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblackcircle}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\bullet}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smblkcircle}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medcircle}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdlgwhtcircle}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblackcircle}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdlgblkcircle}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\ominus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\overt}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\circledvert}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\oslash}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\obackslash}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\obslash}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\oplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\otimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\odot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\ocirc}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\circledcirc}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\oast}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\circledast}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\odash}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\circleddash}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\oequal}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\circledequal}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\emptyset}{symbols}{\mathord}
  \fdsy@DeclareAlias{\diameter}{symbols}{\mathord}
  \fdsy@DeclareAlias{\varnothing}{symbols}{\mathord}
\fdsy@DeclareSymbol{\revemptyset}{symbols}{\mathord}
\fdsy@DeclareSymbol{\largecircle}{symbols}{\mathord}
  \fdsy@DeclareAlias{\bigcirc}{symbols}{\mathord}
  \fdsy@DeclareAlias{\lgwhtcircle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\largeblackcircle}{symbols}{\mathord}
  \fdsy@DeclareAlias{\lgblkcircle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\smallsquare}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smwhtsquare}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblacksquare}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smblksquare}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medsquare}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\square}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\Box}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdlgwhtsquare}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdwhtsquare}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblacksquare}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdlgblksquare}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdblksquare}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxminus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxvert}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\boxbar}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxslash}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\boxdiag}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxbackslash}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\boxbslash}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxtimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\boxbox}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\largesquare}{symbols}{\mathord}
  \fdsy@DeclareAlias{\lgwhtsquare}{symbols}{\mathord}
\fdsy@DeclareSymbol{\largeblacksquare}{symbols}{\mathord}
  \fdsy@DeclareAlias{\lgblksquare}{symbols}{\mathord}
\fdsy@DeclareSymbol{\smalldiamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\diamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smwhtdiamond}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblackdiamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\blackdiamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smblkdiamond}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\meddiamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\Diamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdlgwhtdiamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdwhtdiamond}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblackdiamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdlgblkdiamond}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\mdblkdiamond}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamondminus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamondvert}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamondslash}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamondbackslash}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\diamondbslash}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamondplus}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamondtimes}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamonddot}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\diamondcdot}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\diamonddiamond}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smalllozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\smwhtlozenge}{symbols}{\mathord}
\fdsy@DeclareSymbol{\smallblacklozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\smblklozenge}{symbols}{\mathord}
\fdsy@DeclareSymbol{\medlozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\lozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\mdlgwhtlozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\mdwhtlozenge}{symbols}{\mathord}
\fdsy@DeclareSymbol{\medblacklozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\blacklozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\mdlgblklozenge}{symbols}{\mathord}
  \fdsy@DeclareAlias{\mdblklozenge}{symbols}{\mathord}
\fdsy@DeclareSymbol{\lozengeminus}{symbols}{\mathord}
\fdsy@DeclareSymbol{\smallwhitestar}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\smwhitestar}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\smallblackstar}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\star}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medwhitestar}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\medblackstar}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\medstar}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\largewhitestar}{symbols}{\mathord}
\fdsy@DeclareSymbol{\largeblackstar}{symbols}{\mathord}
  \fdsy@DeclareAlias{\bigstar}{symbols}{\mathord}
\fdsy@DeclareSymbol{\ast}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\infty}{symbols}{\mathord}
\fdsy@DeclareSymbol{\propto}{symbols}{\mathrel}
  \fdsy@DeclareAlias{\varpropto}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\backpropto}{symbols}{\mathrel}
  \fdsy@DeclareAlias{\propfrom}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\crossing}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\between}{symbols}{\mathrel}
\fdsy@DeclareSymbol{\intercal}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\wreath}{symbols}{\mathbin}
  \fdsy@DeclareAlias{\wr}{symbols}{\mathbin}
\fdsy@DeclareSymbol{\angle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\revangle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\measuredangle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\revmeasuredangle}{symbols}{\mathord}
  \fdsy@DeclareAlias{\measuredangleleft}{symbols}{\mathord}
\fdsy@DeclareSymbol{\sphericalangle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\sphericalangleup}{symbols}{\mathord}
\fdsy@DeclareSymbol{\sphericalangleleft}{symbols}{\mathord}
  \fdsy@DeclareAlias{\revsphericalangle}{symbols}{\mathord}
  \fdsy@DeclareAlias{\gtlpar}{symbols}{\mathord}
\fdsy@DeclareSymbol{\sphericalangledown}{symbols}{\mathord}
\fdsy@DeclareSymbol{\rightangle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\measuredrightangle}{symbols}{\mathord}
\fdsy@DeclareSymbol{\rightanglesquare}{symbols}{\mathord}
  \fdsy@DeclareAlias{\rightanglesqr}{symbols}{\mathord}
\fdsy@DeclareSymbol{\measuredrightangledot}{symbols}{\mathord}
  \fdsy@DeclareAlias{\rightanglemdot}{symbols}{\mathord}
\fdsy@DeclareSymbol{\prime}{symbols}{\mathord}
\fdsy@DeclareSymbol{\backprime}{symbols}{\mathord}
\iffdsy@sfop
  \fdsy@DeclareSymbol{\varsmallprod}{symbols}{\mathop}
  \fdsy@DeclareSymbol{\smallprod}{symbols}{\mathop}
  \fdsy@DeclareSymbol{\varsmallcoprod}{symbols}{\mathop}
    \fdsy@DeclareAlias{\varamalg}{symbols}{\mathbin}
  \fdsy@DeclareSymbol{\smallcoprod}{symbols}{\mathop}
    \fdsy@DeclareAlias{\amalg}{symbols}{\mathbin}
\else
  \fdsy@DeclareSymbol{\smallprod}{symbols}{\mathop}
  \fdsy@DeclareSymbol{\varsmallprod}{symbols}{\mathop}
  \fdsy@DeclareSymbol{\smallcoprod}{symbols}{\mathop}
    \fdsy@DeclareAlias{\amalg}{symbols}{\mathbin}
  \fdsy@DeclareSymbol{\varsmallcoprod}{symbols}{\mathop}
    \fdsy@DeclareAlias{\varamalg}{symbols}{\mathbin}
\fi
\fdsy@DeclareSymbol{\smallint}{symbols}{\mathop}
\fdsy@DeclareSymbol{\checkmark}{symbols}{\mathord}
\fdsy@DeclareSymbol{\lightning}{symbols}{\mathord}
  \fdsy@DeclareAlias{\downzigzagarrow}{symbols}{\mathord}
\fdsy@DeclareSymbol{\diamondsuit}{symbols}{\mathord}
\fdsy@DeclareSymbol{\vardiamondsuit}{symbols}{\mathord}
\fdsy@DeclareSymbol{\heartsuit}{symbols}{\mathord}
\fdsy@DeclareSymbol{\varheartsuit}{symbols}{\mathord}
\fdsy@DeclareSymbol{\spadesuit}{symbols}{\mathord}
\fdsy@DeclareSymbol{\clubsuit}{symbols}{\mathord}
\fdsy@DeclareSymbol{\maltese}{symbols}{\mathord}
\fdsy@DeclareSymbol{\starofdavid}{symbols}{\mathord}
\fdsy@DeclareSymbol{\sector}{symbols}{\mathord}
\fdsy@DeclareSymbol{\forall}{symbols}{\mathord}
\fdsy@DeclareSymbol{\exists}{symbols}{\mathord}
\fdsy@DeclareSymbol{\nexists}{symbols}{\mathord}
\fdsy@DeclareSymbol{\Finv}{symbols}{\mathord}
\fdsy@DeclareSymbol{\Game}{symbols}{\mathord}
\fdsy@DeclareSymbol{\complement}{symbols}{\mathord}
\fdsy@DeclareSymbol{\flat}{symbols}{\mathord}
\fdsy@DeclareSymbol{\natural}{symbols}{\mathord}
\fdsy@DeclareSymbol{\sharp}{symbols}{\mathord}
\fdsy@DeclareSymbol{\aleph}{symbols}{\mathord}
\fdsy@DeclareSymbol{\beth}{symbols}{\mathord}
\fdsy@DeclareSymbol{\gimel}{symbols}{\mathord}
\fdsy@DeclareSymbol{\daleth}{symbols}{\mathord}
\fdsy@DeclareSymbol{\wp}{symbols}{\mathord}
%    \end{macrocode}
% FdSymbolB: relations
%    \begin{macrocode}
\fdsy@setslot{0}
\fdsy@DeclareSymbol{\equal}{relations}{\mathrel}
\fdsy@DeclareSymbol{\equiv}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\backsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\approx}{relations}{\mathrel}
\fdsy@DeclareSymbol{\triplesim}{relations}{\mathrel}
  \fdsy@DeclareAlias{\approxident}{relations}{\mathrel}
\fdsy@DeclareSymbol{\simeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\backsimeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\eqsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\cong}{relations}{\mathrel}
\fdsy@DeclareSymbol{\backcong}{relations}{\mathrel}
\fdsy@DeclareSymbol{\approxeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\bumpeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\bumpeqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\Bumpeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\doteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\eqdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\Doteq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\doteqdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\fallingdotseq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\risingdotseq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\coloneq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\coloneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\eqcolon}{relations}{\mathrel}
  \fdsy@DeclareAlias{\eqqcolon}{relations}{\mathrel}
\fdsy@DeclareSymbol{\smile}{relations}{\mathrel}
  \fdsy@DeclareAlias{\smallsmile}{relations}{\mathrel}
\fdsy@DeclareSymbol{\frown}{relations}{\mathrel}
  \fdsy@DeclareAlias{\smallfrown}{relations}{\mathrel}
\fdsy@DeclareSymbol{\smilefrown}{relations}{\mathrel}
  \fdsy@DeclareAlias{\asymp}{relations}{\mathrel}
\fdsy@DeclareSymbol{\frownsmile}{relations}{\mathrel}
  \fdsy@DeclareAlias{\closure}{relations}{\mathrel}
\fdsy@DeclareSymbol{\smileeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\frowneq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\arceq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\eqcirc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\circeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\wedgeq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\hateq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\veeeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\stareq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\triangleeq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\triangleq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\in}{relations}{\mathrel}
\fdsy@DeclareSymbol{\owns}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ni}{relations}{\mathrel}
\fdsy@DeclareSymbol{\less}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\leq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\le}{relations}{\mathrel}
\fdsy@DeclareSymbol{\geq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ge}{relations}{\mathrel}
\fdsy@DeclareSymbol{\leqslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\geqslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\leqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\geqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lesssim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtrsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lessapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtrapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lessgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtrless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lesseqgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtreqless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lesseqqgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtreqqless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lesseqslantgtr}{relations}{\mathrel}
  \fdsy@DeclareAlias{\lesg}{relations}{\mathrel}
  \fdsy@DeclareAlias{\lesseqgtrslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtreqslantless}{relations}{\mathrel}
  \fdsy@DeclareAlias{\gesl}{relations}{\mathrel}
  \fdsy@DeclareAlias{\gtreqlessslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ll}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gg}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lll}{relations}{\mathrel}
  \fdsy@DeclareAlias{\llless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ggg}{relations}{\mathrel}
  \fdsy@DeclareAlias{\gggtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lessclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\lhd}{relations}{\mathbin}
  \fdsy@DeclareAlias{\vartriangleleft}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtrclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\rhd}{relations}{\mathbin}
  \fdsy@DeclareAlias{\vartriangleright}{relations}{\mathrel}
\fdsy@DeclareSymbol{\leqclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\unlhd}{relations}{\mathbin}
  \fdsy@DeclareAlias{\trianglelefteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\geqclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\unrhd}{relations}{\mathbin}
  \fdsy@DeclareAlias{\trianglerighteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lesscc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ltcc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtrcc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\gtcc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\leqslcc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\lescc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\geqslcc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\gescc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsubset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsupset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsubseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsupseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsubseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsupseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\Sqsubset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\Sqsupset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\subset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\supset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\subseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\supseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\subseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\supseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\Subset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\Supset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\prec}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succ}{relations}{\mathrel}
\fdsy@DeclareSymbol{\preceq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\preccurlyeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succcurlyeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\preceqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succeqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\precsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\precapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lessdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gtrdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\leqdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\geqdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\leqslantdot}{relations}{\mathrel}
  \fdsy@DeclareAlias{\lesdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\geqslantdot}{relations}{\mathrel}
  \fdsy@DeclareAlias{\gesdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\eqslantless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\eqslantgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\curlyeqprec}{relations}{\mathrel}
\fdsy@DeclareSymbol{\curlyeqsucc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nequal}{relations}{\mathrel}
  \fdsy@DeclareAlias{\neq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ne}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nequiv}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nbacksim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\napprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ntriplesim}{relations}{\mathrel}
  \fdsy@DeclareAlias{\napproxident}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsimeq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nsime}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nbacksimeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\neqsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ncong}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nbackcong}{relations}{\mathrel}
\fdsy@DeclareSymbol{\napproxeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nbumpeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nbumpeqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nBumpeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ndoteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\neqdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nDoteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nfallingdotseq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nrisingdotseq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsmile}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nfrown}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsmilefrown}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nasymp}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nfrownsmile}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nclosure}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsmileeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nfrowneq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\narceq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\neqcirc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ncirceq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nwedgeq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nhateq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nveeeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nstareq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ntriangleeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nin}{relations}{\mathrel}
  \fdsy@DeclareAlias{\notin}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nowns}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nni}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nleq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nleqslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngeqslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nleqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngeqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlesssim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtrsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlessapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtrapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlessgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtrless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlesseqgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtreqless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlesseqqgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtreqqless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlesseqslantgtr}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nlesg}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nlesseqgtrslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtreqslantless}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ngesl}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ngtreqlessslant}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nll}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngg}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlll}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nggg}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlessclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ntriangleleft}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtrclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ntriangleright}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nleqclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ntrianglelefteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngeqclosed}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ntrianglerighteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlesscc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nltcc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtrcc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ngtcc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nleqslcc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nlescc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngeqslcc}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ngescc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsqsubset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsqsupset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsqsubseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsqsupseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsqsubseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsqsupseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nSqsubset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nSqsupset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsubset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsupset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsubseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsupseteq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsubseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsupseteqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nSubset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nSupset}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nprec}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsucc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\npreceq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsucceq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\npreccurlyeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsucccurlyeq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\npreceqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsucceqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nprecsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsuccsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nprecapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nsuccapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nlessdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngtrdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nleqdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngeqdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\nleqslantdot}{relations}{\mathrel}
  \fdsy@DeclareAlias{\nlesdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ngeqslantdot}{relations}{\mathrel}
  \fdsy@DeclareAlias{\ngesdot}{relations}{\mathrel}
\fdsy@DeclareSymbol{\neqslantless}{relations}{\mathrel}
\fdsy@DeclareSymbol{\neqslantgtr}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ncurlyeqprec}{relations}{\mathrel}
\fdsy@DeclareSymbol{\ncurlyeqsucc}{relations}{\mathrel}
\fdsy@DeclareSymbol{\simneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\backsimneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lneqq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\lvertneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gneqq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\gvertneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lnsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gnsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\lnapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\gnapprox}{relations}{\mathrel}          
\fdsy@DeclareSymbol{\sqsubsetneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsupsetneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsubsetneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\sqsupsetneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\subsetneq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\varsubsetneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\supsetneq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\varsupsetneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\subsetneqq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\varsubsetneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\supsetneqq}{relations}{\mathrel}
  \fdsy@DeclareAlias{\varsupsetneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\precneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succneq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\precneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succneqq}{relations}{\mathrel}
\fdsy@DeclareSymbol{\precnsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succnsim}{relations}{\mathrel}
\fdsy@DeclareSymbol{\precnapprox}{relations}{\mathrel}
\fdsy@DeclareSymbol{\succnapprox}{relations}{\mathrel}
%    \end{macrocode}
% FdSymbolC: arrows and turnstile symbols
%    \begin{macrocode}
\fdsy@setslot{0}
\fdsy@DeclareSymbol{\rightarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\to}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\uparrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftarrow}{arrows}{\mathrel}
\fdsy@DeclareAlias{\gets}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\searrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Rightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Uparrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Leftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Downarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Nearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Nwarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Swarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Searrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\updownarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\neswarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwsearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Leftrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Updownarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Neswarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Nwsearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheadrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheaduparrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheadleftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheaddownarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheadnearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheadnwarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheadswarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\twoheadsearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightarrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\uparrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftarrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downarrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nearrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwarrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swarrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\searrowtail}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\mapsto}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\mapsup}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\mapsfrom}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\mapsdown}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Rightmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Mapsto}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Upmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Mapsup}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Leftmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Mapsfrom}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Downmapsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Mapsdown}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hookrightarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhookrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hookuparrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhookuparrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhookleftarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhookleftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhookdownarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhookdownarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhooknearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhooknearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hooknwarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\hknwarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhooknwarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhookswarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhookswarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hooksearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\hksearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\lhooksearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhookrightarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhookrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhookuparrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhookuparrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hookleftarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhookleftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hookdownarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhookdownarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hooknearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\hknearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhooknearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhooknwarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhooknwarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\hookswarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\hkswarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhookswarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varhooksearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rhooksearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightharpoonup}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upharpoonleft}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftharpoondown}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downharpoonright}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\neharpoonnw}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwharpoonsw}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swharpoonse}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\seharpoonne}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightharpoondown}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upharpoonright}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\restriction}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftharpoonup}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downharpoonleft}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\neharpoonse}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwharpoonne}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swharpoonnw}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\seharpoonsw}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightharpoonupdown}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\updownharpoonleftright}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\neswharpoonnwse}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwseharpoonnesw}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightharpoondownup}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\updownharpoonrightleft}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\neswharpoonsenw}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwseharpoonswne}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightleftharpoons}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\updownharpoons}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\updownharpoonsleftright}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\neswharpoons}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\senwharpoons}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightharpoons}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downupharpoons}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downupharpoonsleftright}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swneharpoons}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwseharpoons}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightbkarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\dasharrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\dashrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upbkarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftbkarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\dashleftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downbkarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nebkarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwbkarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swbkarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\sebkarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightspoon}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\multimap}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upspoon}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\cirmid}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftspoon}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\multimapinv}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downspoon}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\midcir}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightblackspoon}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upblackspoon}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftblackspoon}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downblackspoon}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightspoon}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\dualmap}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightblackspoon}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\blackwhitespoon}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\imageof}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\whiteblackspoon}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\origof}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightpitchfork}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\uppitchfork}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\pitchfork}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftpitchfork}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downpitchfork}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightrightarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upuparrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftleftarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downdownarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nenearrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwnwarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swswarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\sesearrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightleftarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\updownarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\neswarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\nwsearrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downuparrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\swnearrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\senwarrows}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leadsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightsquigarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightlsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varupwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\uplsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varleftwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftlsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downlsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varrightwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightrsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\uprsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftsquigarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftrsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\vardownwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downrsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftrightwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftrightsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\updownwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\updownsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varleftrightwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightleftsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\varupdownwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downupsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwoverarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\curvearrowright}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightlcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwleftarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\uplcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwunderarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftlcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwrightarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downlcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwnwarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightupcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\nelcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwswarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\upleftcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\nwlcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwsearcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftdowncurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\swlcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwnearcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downrightcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\selcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwunderarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightrcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwrightarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\uprcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwoverarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\curvearrowleft}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftrcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwleftarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downrcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwsearcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\uprightcurvearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\nercurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwnearcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftupcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\nwrcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwnwarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downleftcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\swrcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwswarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightdowncurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\sercurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdoverarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\leftrightcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdleftarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\updowncurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdunderarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\rightleftcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdrightarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\downupcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdnwarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\neswcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdswarcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\nwsecurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdsearcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\swnecurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\bdnearcarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\senwcurvearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftfootline}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightfootline}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwcirclearrowup}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwcirclearrowleft}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\circlearrowleft}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\acwopencirclearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwcirclearrowdown}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\acwgapcirclearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\acwcirclearrowright}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwcirclearrowdown}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\cwgapcirclearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwcirclearrowright}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\circlearrowright}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\cwopencirclearrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwcirclearrowup}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\cwcirclearrowleft}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Rrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Uuparrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Lleftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Ddownarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longleftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Longrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Longleftarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longleftrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Longleftrightarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longmapsto}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longmapsfrom}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Longmapsto}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Longmapsfrom}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longrightwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\longleadsto}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\longrightsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longleftwavearrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\longleftsquigarrow}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longleftfootline}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\vlongdash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\longrightfootline}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\longdashv}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Lsh}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Rsh}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Ldsh}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Rdsh}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\looparrowright}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\looparrowleft}{arrows}{\mathrel}
\fdsy@setslot{224}
\fdsy@DeclareSymbol{\rightvdash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\vdash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upvdash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\perp}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\bot}{arrows}{\mathord}
\fdsy@DeclareSymbol{\leftvdash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\dashv}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downvdash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\top}{arrows}{\mathord}
\fdsy@DeclareSymbol{\rightassert}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\assert}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\shortrighttack}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upassert}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\shortuptack}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftassert}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\shortlefttack}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downassert}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\shortdowntack}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightvDash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\vDash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upvDash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Vbar}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftvDash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Dashv}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downvDash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\barV}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightmodels}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\models}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upmodels}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftmodels}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downmodels}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightVdash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Vdash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upVdash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftVdash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\dashV}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downVdash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightAssert}{arrows}{\mathrel}
 \fdsy@DeclareAlias{\Assert}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upAssert}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\vBar}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftAssert}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downAssert}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\Barv}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\rightVDash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\VDash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\upVDash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\leftVDash}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\DashV}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\downVDash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Vvdash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\dashVv}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\vDdash}{arrows}{\mathrel}
\fdsy@DeclareSymbol{\Ddashv}{arrows}{\mathrel}

\DeclareRobustCommand{\relbar}{\mathrel{\smash-}}
\DeclareRobustCommand{\Relbar}{\mathrel=}
\let\joinrel\undefined
\DeclareRobustCommand\joinrel{\mathrel{\mkern-4mu}}
%    \end{macrocode}
% FdSymbolD: stroked arrows
%    \begin{macrocode}
\fdsy@setslot{0}
\fdsy@DeclareSymbol{\nrightarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nto}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nuparrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ngets}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nsearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nRightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nUparrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLeftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nDownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nNearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nNwarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nSwarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nSearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupdownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nneswarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwsearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLeftrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nUpdownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nNeswarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nNwsearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheadrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheaduparrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheadleftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheaddownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheadnearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheadnwarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheadswarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ntwoheadsearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightarrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nuparrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftarrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownarrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnearrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwarrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswarrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nsearrowtail}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmapsto}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmapsup}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmapsfrom}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmapsdown}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nRightmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nMapsto}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nUpmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nMapsup}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLeftmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nMapsfrom}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nDownmapsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nMapsdown}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhookrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhookuparrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhookleftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhookdownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhooknearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhooknwarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nhknwarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhookswarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhooksearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nhksearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhookrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhookuparrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhookleftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhookdownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhooknearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nhknearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhooknwarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nhookswarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nhkswarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarhooksearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightharpoonup}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupharpoonleft}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftharpoondown}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownharpoonright}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nneharpoonnw}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwharpoonsw}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswharpoonse}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nseharpoonne}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightharpoondown}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupharpoonright}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrestriction}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftharpoonup}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownharpoonleft}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nneharpoonse}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwharpoonne}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswharpoonnw}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nseharpoonsw}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightharpoonupdown}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupdownharpoonleftright}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nneswharpoonnwse}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwseharpoonnesw}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightharpoondownup}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupdownharpoonrightleft}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nneswharpoonsenw}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwseharpoonswne}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightleftharpoons}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupdownharpoons}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nupdownharpoonsleftright}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nneswharpoons}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nsenwharpoons}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightharpoons}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownupharpoons}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownupharpoonsleftright}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswneharpoons}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwseharpoons}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightbkarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndasharrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndashrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupbkarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftbkarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndashleftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownbkarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnebkarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwbkarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswbkarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nsebkarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightspoon}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmultimap}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupspoon}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ncirmid}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftspoon}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmultimapinv}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownspoon}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmidcir}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightblackspoon}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupblackspoon}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftblackspoon}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownblackspoon}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightspoon}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndualmap}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightblackspoon}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nblackwhitespoon}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nimageof}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nwhiteblackspoon}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\norigof}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightpitchfork}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nuppitchfork}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\npitchfork}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftpitchfork}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownpitchfork}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightrightarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupuparrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftleftarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndowndownarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnenearrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwnwarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswswarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nsesearrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightleftarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupdownarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nneswarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nnwsearrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownuparrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nswnearrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nsenwarrows}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleadsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightsquigarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightlsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarupwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nuplsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarleftwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftlsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownlsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarrightwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightrsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nuprsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftsquigarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftcurvedarrow}{arrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftrsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvardownwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownrsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftrightwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftrightsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupdownwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nupdownsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarleftrightwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightleftsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvarupdownwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownupsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwoverarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ncurvearrowright}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightlcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwleftarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nuplcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwunderarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftlcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwrightarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownlcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwnwarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightupcurvedarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nnelcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwswarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nupleftcurvedarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nnwlcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwsearcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftdowncurvedarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nswlcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwnearcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownrightcurvedarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nselcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwunderarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightrcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwrightarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nuprcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwoverarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ncurvearrowleft}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftrcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwleftarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownrcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwsearcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nuprightcurvearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nnercurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwnearcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftupcurvedarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nnwrcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwnwarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownleftcurvedarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nswrcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwswarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightdowncurvedarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nsercurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdoverarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nleftrightcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdleftarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nupdowncurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdunderarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nrightleftcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdrightarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndownupcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdnwarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nneswcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdswarcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nnwsecurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdsearcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nswnecurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nbdnearcarrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nsenwcurvearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftfootline}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightfootline}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwcirclearrowup}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwcirclearrowleft}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ncirclearrowleft}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nacwopencirclearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwcirclearrowdown}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nacwgapcirclearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nacwcirclearrowright}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwcirclearrowdown}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ncwgapcirclearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwcirclearrowright}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ncirclearrowright}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ncwopencirclearrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwcirclearrowup}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ncwcirclearrowleft}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nRrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nUuparrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLleftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nDdownarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongleftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLongrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLongleftarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongleftrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLongleftrightarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongmapsto}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongmapsfrom}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLongmapsto}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nLongmapsfrom}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongrightwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nlongleadsto}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nlongrightsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongleftwavearrow}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nlongleftsquigarrow}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongleftfootline}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nvlongdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nlongrightfootline}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nlongdashv}{narrows}{\mathrel}
\fdsy@setslot{224}
\fdsy@DeclareSymbol{\nrightvdash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nvdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupvdash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nperp}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftvdash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndashv}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownvdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightassert}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nassert}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nshortrighttack}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupassert}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nshortuptack}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftassert}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nshortlefttack}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownassert}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nshortdowntack}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightvDash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nvDash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupvDash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nVbar}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftvDash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nDashv}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownvDash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nbarV}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightmodels}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nmodels}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupmodels}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftmodels}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownmodels}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightVdash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nVdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupVdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftVdash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\ndashV}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownVdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightAssert}{narrows}{\mathrel}
 \fdsy@DeclareAlias{\nAssert}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupAssert}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nvBar}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftAssert}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownAssert}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nBarv}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nrightVDash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nVDash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nupVDash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nleftVDash}{narrows}{\mathrel}
  \fdsy@DeclareAlias{\nDashV}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndownVDash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nVvdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\ndashVv}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nvDdash}{narrows}{\mathrel}
\fdsy@DeclareSymbol{\nDdashv}{narrows}{\mathrel}
%    \end{macrocode}
% FdSymbolE: large operators
%    \begin{macrocode}
\fdsy@setslot{0}
\fdsy@DeclareSymbol{\tbigplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigtimes}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigtimes}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigwedge}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigwedge}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigvee}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigvee}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigwedgedot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigwedgedot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigveedot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigveedot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigdoublewedge}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tconjquant}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigdoublewedge}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dconjquant}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigdoublevee}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tdisjquant}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigdoublevee}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\ddisjquant}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcurlywedge}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcurlywedge}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcurlyvee}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcurlyvee}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcap}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcap}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcup}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcup}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcapdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcapdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcupdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcupdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcapplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcapplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigcupplus}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tbiguplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigcupplus}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dbiguplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigsqcap}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigsqcap}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigsqcup}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigsqcup}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigsqcapdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigsqcapdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigsqcupdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigsqcupdot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigsqcapplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigsqcapplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigsqcupplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigsqcupplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigoplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigoplus}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigotimes}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigotimes}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigodot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigodot}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tbigoast}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dbigoast}{largesymbols}{\mathop}
\iffdsy@sfop
  \fdsy@DeclareSymbol{\tvarprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\tvarmodtwosum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\dvarmodtwosum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\tmodtwosum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\dmodtwosum}{largesymbols}{\mathop}
\else
  \fdsy@DeclareSymbol{\tprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarcoprod}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarsum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\tmodtwosum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\dmodtwosum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\tvarmodtwosum}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarosum}{largesymbols}{\mathop}
    \fdsy@DeclareAlias{\dvarmodtwosum}{largesymbols}{\mathop}
\fi
\fdsy@DeclareSymbol{\tint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\diint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tiiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\diiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tiiiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\diiiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tidotsint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tdotsint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\didotsint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\ddotsint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tlandupint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tintclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dlandupint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dintclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tlanddownint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tawint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tintctrclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dlanddownint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dawint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dintctrclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tintbar}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dintbar}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tintBar}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dintBar}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tfint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dfint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\toint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\doint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\toiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\doiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\toiiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\doiiint}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\trcirclerightint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tointctrclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\drcirclerightint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dointctrclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tlcirclerightint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tvarointclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dlcirclerightint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dvarointclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\trcircleleftint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tvarointctrclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\drcircleleftint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dvarointctrclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\tlcircleleftint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\tointclockwise}{largesymbols}{\mathop}
\fdsy@DeclareSymbol{\dlcircleleftint}{largesymbols}{\mathop}
  \fdsy@DeclareAlias{\dointclockwise}{largesymbols}{\mathop}
\iffdsy@sfop
  \fdsy@DeclareSymbol{\tvarsumint}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarsumint}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tsumint}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dsumint}{largesymbols}{\mathop}
\else
  \fdsy@DeclareSymbol{\tsumint}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dsumint}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\tvarsumint}{largesymbols}{\mathop}
  \fdsy@DeclareSymbol{\dvarsumint}{largesymbols}{\mathop}
\fi
\let\intop\tint
\let\ointop\toint

\fdsy@DeclareOperator{\bigplus}{\dbigplus}{\tbigplus}
\fdsy@DeclareOperator{\bigtimes}{\dbigtimes}{\tbigtimes}
\fdsy@DeclareOperator{\bigwedge}{\dbigwedge}{\tbigwedge}
\fdsy@DeclareOperator{\bigvee}{\dbigvee}{\tbigvee}
\fdsy@DeclareOperator{\bigwedgedot}{\dbigwedgedot}{\tbigwedgedot}
\fdsy@DeclareOperator{\bigveedot}{\dbigveedot}{\tbigveedot}
\fdsy@DeclareOperator{\bigdoublewedge}{\dbigdoublewedge}{\tbigdoublewedge}
\fdsy@DeclareOperator{\conjquant}{\dconjquant}{\tconjquant}
\fdsy@DeclareOperator{\bigdoublevee}{\dbigdoublevee}{\tbigdoublevee}
\fdsy@DeclareOperator{\disjquant}{\ddisjquant}{\tdisjquant}
\fdsy@DeclareOperator{\bigcurlywedge}{\dbigcurlywedge}{\tbigcurlywedge}
\fdsy@DeclareOperator{\bigcurlyvee}{\dbigcurlyvee}{\tbigcurlyvee}
\fdsy@DeclareOperator{\bigcurlywedgedot}{\dbigcurlywedgedot}{\tbigcurlywedgedot}
\fdsy@DeclareOperator{\bigcurlyveedot}{\dbigcurlyveedot}{\tbigcurlyveedot}
\fdsy@DeclareOperator{\bigdoublecurlywedge}{\dbigdoublecurlywedge}{\tbigdoublecurlywedge}
\fdsy@DeclareOperator{\bigdoublecurlyvee}{\dbigdoublecurlyvee}{\tbigdoublecurlyvee}
\fdsy@DeclareOperator{\bigcap}{\dbigcap}{\tbigcap}
\fdsy@DeclareOperator{\bigcup}{\dbigcup}{\tbigcup}
\fdsy@DeclareOperator{\bigcapdot}{\dbigcapdot}{\tbigcapdot}
\fdsy@DeclareOperator{\bigcupdot}{\dbigcupdot}{\tbigcupdot}
\fdsy@DeclareOperator{\bigcapplus}{\dbigcapplus}{\tbigcapplus}
\fdsy@DeclareOperator{\bigcupplus}{\dbigcupplus}{\tbigcupplus}
\fdsy@DeclareOperator{\biguplus}{\dbiguplus}{\tbiguplus}
\fdsy@DeclareOperator{\bigsqcap}{\dbigsqcap}{\tbigsqcap}
\fdsy@DeclareOperator{\bigsqcup}{\dbigsqcup}{\tbigsqcup}
\fdsy@DeclareOperator{\bigsqcapdot}{\dbigsqcapdot}{\tbigsqcapdot}
\fdsy@DeclareOperator{\bigsqcupdot}{\dbigsqcupdot}{\tbigsqcupdot}
\fdsy@DeclareOperator{\bigsqcapplus}{\dbigsqcapplus}{\tbigsqcapplus}
\fdsy@DeclareOperator{\bigsqcupplus}{\dbigsqcupplus}{\tbigsqcupplus}
\fdsy@DeclareOperator{\bigoplus}{\dbigoplus}{\tbigoplus}
\fdsy@DeclareOperator{\bigotimes}{\dbigotimes}{\tbigotimes}
\fdsy@DeclareOperator{\bigodot}{\dbigodot}{\tbigodot}
\fdsy@DeclareOperator{\bigoast}{\dbigoast}{\tbigoast}
\fdsy@DeclareOperator{\prod}{\dprod}{\tprod}
\fdsy@DeclareOperator{\varprod}{\dvarprod}{\tvarprod}
\fdsy@DeclareOperator{\coprod}{\dcoprod}{\tcoprod}
\fdsy@DeclareOperator{\varcoprod}{\dvarcoprod}{\tvarcoprod}
\fdsy@DeclareOperator{\sum}{\dsum}{\tsum}
\fdsy@DeclareOperator{\varsum}{\dvarsum}{\tvarsum}
\fdsy@DeclareOperator{\osum}{\dosum}{\tosum}
\fdsy@DeclareOperator{\varosum}{\dvarosum}{\tvarosum}
\fdsy@DeclareOperator{\modtwosum}{\dmodtwosum}{\tmodtwosum}
\fdsy@DeclareOperator{\varmodtwosum}{\dvarmodtwosum}{\tvarmodtwosum}
\fdsy@DeclareIntegral{\iint}{\diint}{\tiint}
\fdsy@DeclareIntegral{\iiint}{\diiint}{\tiiint}
\fdsy@DeclareIntegral{\iiiint}{\diiiint}{\tiiiint}
\fdsy@DeclareIntegral{\idotsint}{\didotsint}{\tidotsint}
\fdsy@DeclareIntegral{\dotsint}{\ddotsint}{\tdotsint}
\fdsy@DeclareIntegral{\landupint}{\dlandupint}{\tlandupint}
\fdsy@DeclareIntegral{\intclockwise}{\dintclockwise}{\tintclockwise}
\fdsy@DeclareIntegral{\landdownint}{\dlanddownint}{\tlanddownint}
\fdsy@DeclareIntegral{\awint}{\dawint}{\tawint}
\fdsy@DeclareIntegral{\intctrclockwise}{\dintctrclockwise}{\tintctrclockwise}
\fdsy@DeclareIntegral{\landdownint}{\dlanddownint}{\tlanddownint}
\fdsy@DeclareIntegral{\intbar}{\dintbar}{\tintbar}
\fdsy@DeclareIntegral{\intBar}{\dintBar}{\tintBar}
\fdsy@DeclareIntegral{\fint}{\dfint}{\tfint}
\fdsy@DeclareIntegral{\oiint}{\doiint}{\toiint}
\fdsy@DeclareIntegral{\oiiint}{\doiiint}{\toiiint}
\fdsy@DeclareIntegral{\rcirclerightint}{\drcirclerightint}{\trcirclerightint}
\fdsy@DeclareIntegral{\ointctrclockwise}{\dointctrclockwise}{\tointctrclockwise}
\fdsy@DeclareIntegral{\lcirclerightint}{\dlcirclerightint}{\tlcirclerightint}
\fdsy@DeclareIntegral{\varointclockwise}{\dvarointclockwise}{\tvarointclockwise}
\fdsy@DeclareIntegral{\rcircleleftint}{\drcircleleftint}{\trcircleleftint}
\fdsy@DeclareIntegral{\varointctrclockwise}{\dvarointctrclockwise}{\tvarointctrclockwise}
\fdsy@DeclareIntegral{\lcircleleftint}{\dlcircleleftint}{\tlcircleleftint}
\fdsy@DeclareIntegral{\ointclockwise}{\dointclockwise}{\tointclockwise}
\fdsy@DeclareIntegral{\sumint}{\dsumint}{\tsumint}
\fdsy@DeclareIntegral{\varsumint}{\dvarsumint}{\tvarsumint}

\def\intkern@{\mkern-8.5mu\mathchoice{\mkern-1mu}{}{}{}}
\def\intdots@{\mkern-6mu%
  \mathchoice{\@cdots}%
  {{\cdotp}\mkern0.5mu{\cdotp}\mkern0.5mu{\cdotp}}%
  {{\cdotp}{\cdotp}{\cdotp}}%
  {{\cdotp}{\cdotp}{\cdotp}}%
  \mkern-6mu}
%    \end{macrocode}
% Math accents.
%    \begin{macrocode}
\DeclareMathAccent{\widehat}{\mathord}{largesymbols}{"72}
\DeclareMathAccent{\widetilde}{\mathord}{largesymbols}{"78}
\DeclareMathAccent{\wideparen}{\mathord}{largesymbols}{"7E}
\DeclareMathAccent{\vec}{\mathord}{largesymbols}{"84}
\DeclareMathAccent{\middlebar}{\mathord}{largesymbols}{"85}
\DeclareMathAccent{\middleslash}{\mathord}{largesymbols}{"86}
\DeclareMathAccent{\strokethrough}{\mathord}{largesymbols}{"87}
%    \end{macrocode}
% FdSymbolF: delimiters
%    \begin{macrocode}
\let\lfloor\undefined
\let\rfloor\undefined
\let\lceil\undefined
\let\rceil\undefined
\let\langle\undefined
\let\rangle\undefined
\iffdsy@largedelims
  \fdsy@DeclareOpen{(}{delimiters}{"01}
  \fdsy@DeclareClose{)}{delimiters}{"07}
  \fdsy@DeclareOpen{\lparen}{delimiters}{"01}
  \fdsy@DeclareClose{\rparen}{delimiters}{"07}
  \fdsy@DeclareOpen{[}{delimiters}{"13}
  \fdsy@DeclareClose{]}{delimiters}{"19}
  \fdsy@DeclareOpen{\lbrack}{delimiters}{"13}
  \fdsy@DeclareClose{\rbrack}{delimiters}{"19}
  \fdsy@DeclareOpen{\lfloor}{delimiters}{"1F}
  \fdsy@DeclareClose{\rfloor}{delimiters}{"25}
  \fdsy@DeclareOpen{\lceil}{delimiters}{"2B}
  \fdsy@DeclareClose{\rceil}{delimiters}{"31}
  \fdsy@DeclareOpen{\ulcorner}{delimiters}{"37}
  \fdsy@DeclareClose{\urcorner}{delimiters}{"3D}
  \fdsy@DeclareOpen{\llcorner}{delimiters}{"43}
  \fdsy@DeclareClose{\lrcorner}{delimiters}{"49}
  \fdsy@DeclareOpen{\ullcorner}{delimiters}{"4F}
  \fdsy@DeclareClose{\ulrcorner}{delimiters}{"55}
  \fdsy@DeclareOpen{\lsem}{delimiters}{"61}
  \fdsy@DeclareClose{\rsem}{delimiters}{"67}
  \fdsy@DeclareOpen{\lBrack}{delimiters}{"61}
  \fdsy@DeclareClose{\rBrack}{delimiters}{"67}
  \fdsy@DeclareOpen{\lbrace}{delimiters}{"73}
  \fdsy@DeclareClose{\rbrace}{delimiters}{"79}
  \fdsy@DeclareOpen{&lt;}{delimiters}{"86}
  \fdsy@DeclareClose{&gt;}{delimiters}{"8C}
  \fdsy@DeclareOpen{\langle}{delimiters}{"86}
  \fdsy@DeclareClose{\rangle}{delimiters}{"8C}
  \fdsy@DeclareOpen{\lAngle}{delimiters}{"92}
  \fdsy@DeclareClose{\rAngle}{delimiters}{"98}
  \fdsy@DeclareOpen{\langledot}{delimiters}{"9E}
  \fdsy@DeclareClose{\rangledot}{delimiters}{"A4}
  \fdsy@DeclareDelimiter{/}{\mathord}{delimiters}{"AA}
  \fdsy@DeclareDelimiter{\mathslash}{\mathord}{delimiters}{"AA}
  \DeclareMathSymbol{\divslash}{\mathbin}{delimiters}{"AA}
  \fdsy@DeclareDelimiter{\backslash}{\mathord}{delimiters}{"B0}
  \expandafter\DeclareMathDelimiter\@backslashchar%
    {\mathord}{delimiters}{"B0}{delimiters}{"B0}
  \DeclareMathSymbol{\setminus}{\mathbin}{delimiters}{"B0}
  \fdsy@DeclareDelimiter{|}{\mathord}{delimiters}{"B7}
  \fdsy@DeclareDelimiter{\vert}{\mathord}{delimiters}{"B7}
  \fdsy@DeclareOpen{\lvert}{delimiters}{"B7}
  \fdsy@DeclareClose{\rvert}{delimiters}{"B7}
  \DeclareMathSymbol{\mid}{\mathrel}{delimiters}{"B7}
  \DeclareMathSymbol{\nmid}{\mathrel}{delimiters}{"BA}
  \fdsy@DeclareDelimiter{\Vert}{\mathord}{delimiters}{"BE}
  \fdsy@DeclareOpen{\lVert}{delimiters}{"BE}
  \fdsy@DeclareClose{\rVert}{delimiters}{"BE}
  \DeclareMathSymbol{\parallel}{\mathrel}{delimiters}{"BE}
  \DeclareMathSymbol{\nparallel}{\mathrel}{delimiters}{"C1}
  \fdsy@DeclareDelimiter{\Vvert}{\mathord}{delimiters}{"C4}
  \fdsy@DeclareOpen{\lVvert}{delimiters}{"C4}
  \fdsy@DeclareClose{\rVvert}{delimiters}{"C4}
\else
  \fdsy@DeclareOpen{(}{delimiters}{"00}
  \fdsy@DeclareClose{)}{delimiters}{"06}
  \fdsy@DeclareOpen{\lparen}{delimiters}{"00}
  \fdsy@DeclareClose{\rparen}{delimiters}{"06}
  \fdsy@DeclareOpen{[}{delimiters}{"12}
  \fdsy@DeclareClose{]}{delimiters}{"18}
  \fdsy@DeclareOpen{\lbrack}{delimiters}{"12}
  \fdsy@DeclareClose{\rbrack}{delimiters}{"18}
  \fdsy@DeclareOpen{\lfloor}{delimiters}{"1E}
  \fdsy@DeclareClose{\rfloor}{delimiters}{"24}
  \fdsy@DeclareOpen{\lceil}{delimiters}{"2A}
  \fdsy@DeclareClose{\rceil}{delimiters}{"30}
  \fdsy@DeclareOpen{\ulcorner}{delimiters}{"36}
  \fdsy@DeclareClose{\urcorner}{delimiters}{"3C}
  \fdsy@DeclareOpen{\llcorner}{delimiters}{"42}
  \fdsy@DeclareClose{\lrcorner}{delimiters}{"48}
  \fdsy@DeclareOpen{\ullcorner}{delimiters}{"4E}
  \fdsy@DeclareClose{\ulrcorner}{delimiters}{"54}
  \fdsy@DeclareOpen{\lsem}{delimiters}{"60}
  \fdsy@DeclareClose{\rsem}{delimiters}{"66}
  \fdsy@DeclareOpen{\lBrack}{delimiters}{"60}
  \fdsy@DeclareClose{\rBrack}{delimiters}{"66}
  \fdsy@DeclareOpen{\lbrace}{delimiters}{"72}
  \fdsy@DeclareClose{\rbrace}{delimiters}{"78}
  \fdsy@DeclareOpen{&lt;}{delimiters}{"85}
  \fdsy@DeclareClose{&gt;}{delimiters}{"8B}
  \fdsy@DeclareOpen{\langle}{delimiters}{"85}
  \fdsy@DeclareClose{\rangle}{delimiters}{"8B}
  \fdsy@DeclareOpen{\lAngle}{delimiters}{"91}
  \fdsy@DeclareClose{\rAngle}{delimiters}{"97}
  \fdsy@DeclareOpen{\langledot}{delimiters}{"9D}
  \fdsy@DeclareClose{\rangledot}{delimiters}{"A3}
  \fdsy@DeclareDelimiter{/}{\mathord}{delimiters}{"A9}
  \fdsy@DeclareDelimiter{\mathslash}{\mathord}{delimiters}{"A9}
  \DeclareMathSymbol{\divslash}{\mathbin}{delimiters}{"A9}
  \fdsy@DeclareDelimiter{\backslash}{\mathord}{delimiters}{"AF}
  \expandafter\DeclareMathDelimiter\@backslashchar%
    {\mathord}{delimiters}{"AF}{delimiters}{"AF}
  \DeclareMathSymbol{\setminus}{\mathbin}{delimiters}{"AF}
  \fdsy@DeclareDelimiter{|}{\mathord}{delimiters}{"B6}
  \fdsy@DeclareDelimiter{\vert}{\mathord}{delimiters}{"B6}
  \fdsy@DeclareOpen{\lvert}{delimiters}{"B6}
  \fdsy@DeclareClose{\rvert}{delimiters}{"B6}
  \DeclareMathSymbol{\mid}{\mathrel}{delimiters}{"B6}
  \DeclareMathSymbol{\nmid}{\mathrel}{delimiters}{"B9}
  \fdsy@DeclareDelimiter{\Vert}{\mathord}{delimiters}{"BD}
  \fdsy@DeclareOpen{\lVert}{delimiters}{"BD}
  \fdsy@DeclareClose{\rVert}{delimiters}{"BD}
  \DeclareMathSymbol{\parallel}{\mathrel}{delimiters}{"BD}
  \DeclareMathSymbol{\nparallel}{\mathrel}{delimiters}{"C0}
  \fdsy@DeclareDelimiter{\Vvert}{\mathord}{delimiters}{"C3}
  \fdsy@DeclareOpen{\lVvert}{delimiters}{"C3}
  \fdsy@DeclareClose{\rVvert}{delimiters}{"C3}
\fi
\let\|\Vert
\let\divides\mid
\let\ndivides\nmid
\DeclareMathSymbol{\shortmid}{\mathrel}{delimiters}{"B5}
\DeclareMathSymbol{\nshortmid}{\mathrel}{delimiters}{"B8}
\DeclareMathSymbol{\shortparallel}{\mathrel}{delimiters}{"BC}
\DeclareMathSymbol{\nshortparallel}{\mathrel}{delimiters}{"BF}
\fdsy@DeclareDelimiter{\arrowvert}{\mathord}{delimiters}{"BB}
\fdsy@DeclareDelimiter{\Arrowvert}{\mathord}{delimiters}{"C2}
\fdsy@DeclareClose{\lgroup}{delimiters}{"7E}
\fdsy@DeclareOpen{\rgroup}{delimiters}{"7F}
\fdsy@DeclareClose{\rmoustache}{delimiters}{"80}
\fdsy@DeclareOpen{\lmoustache}{delimiters}{"81}
\fdsy@DeclareDelimiter{\bracevert}{\mathord}{delimiters}{"84}
\let\uparrow\undefined
\let\downarrow\undefined
\let\updownarrow\undefined
\let\Uparrow\undefined
\let\Downarrow\undefined
\let\Updownarrow\undefined
\DeclareMathDelimiter{\uparrow}{\mathrel}{arrows}{"01}{delimiters}{"C6}
\DeclareMathDelimiter{\downarrow}{\mathrel}{arrows}{"03}{delimiters}{"C7}
\DeclareMathDelimiter{\updownarrow}{\mathrel}{arrows}{"11}{delimiters}{"C8}
\DeclareMathDelimiter{\Uparrow}{\mathrel}{arrows}{"09}{delimiters}{"C9}
\DeclareMathDelimiter{\Downarrow}{\mathrel}{arrows}{"0B}{delimiters}{"CA}
\DeclareMathDelimiter{\Updownarrow}{\mathrel}{arrows}{"15}{delimiters}{"CB}
%    \end{macrocode}
% Horizontal braces.
%    \begin{macrocode}
\DeclareMathSymbol{\braceld}{\mathord}{delimiters}{"CC}
\DeclareMathSymbol{\bracelu}{\mathord}{delimiters}{"CD}
\DeclareMathSymbol{\bracerd}{\mathord}{delimiters}{"CE}
\DeclareMathSymbol{\braceru}{\mathord}{delimiters}{"CF}
\DeclareMathSymbol{\bracemd}{\mathord}{delimiters}{"D0}
\DeclareMathSymbol{\bracemu}{\mathord}{delimiters}{"D1}
\DeclareMathSymbol{\bracemid}{\mathord}{delimiters}{"D2}

\def\bracefill@#1#2#3#4#5{%
  $\m@th#5#1\leaders\hbox{$#4$}\hfill#2\leaders\hbox{$#4$}\hfill#3$%
}
\def\downbracefill@{\bracefill@\braceld\bracemd\bracerd\bracemid}
\def\upbracefill@{\bracefill@\bracelu\bracemu\braceru\bracemid}
\def\downgroupfill@{\bracefill@\braceld{}\bracerd\bracemid}
\def\upgroupfill@{\bracefill@\bracelu{}\braceru\bracemid}
\def\linesegmentfill@{\arrowfill@\leftfootline\relbar\rightfootline}
\def\leftharpoonfill@{\arrowfill@\leftharpoondown\relbar\relbar}
\def\rightharpoonfill@{\arrowfill@\relbar\relbar\rightharpoonup}

\DeclareRobustCommand{\overbrace}[1]{%
  \mathop{\mathpalette{\overarrow@\downbracefill@}{#1}}\limits%
}
\DeclareRobustCommand{\underbrace}[1]{%
  \mathop{\mathpalette{\underarrow@\upbracefill@}{#1}}\limits%
}
\DeclareRobustCommand{\overgroup}{\mathpalette{\overarrow@\downgroupfill@}}
\DeclareRobustCommand{\undergroup}{\mathpalette{\underarrow@\upgroupfill@}}
\DeclareRobustCommand{\overlinesegment}{\mathpalette{\overarrow@\linesegmentfill@}}
\DeclareRobustCommand{\overleftharpoon}{\mathpalette{\overarrow@\leftharpoonfill@}}
\DeclareRobustCommand{\overrightharpoon}{\mathpalette{\overarrow@\rightharpoonfill@}}
\DeclareRobustCommand{\underlinesegment}{\mathpalette{\underarrow@\linesegmentfill@}}
%    \end{macrocode}
% Radical symbols.
%    \begin{macrocode}
\iffdsy@largedelims
  \DeclareMathRadical{\sqrtsign}{delimiters}{"D4}{delimiters}{"D4}
  \DeclareMathSymbol{\surd}{\mathop}{delimiters}{"D4}
\else
  \DeclareMathRadical{\sqrtsign}{delimiters}{"D3}{delimiters}{"D3}
  \DeclareMathSymbol{\surd}{\mathop}{delimiters}{"D3}
\fi
%    \end{macrocode}
% In the \textit{n}-th root, we don't want the~\textit{n} to come too
% close to the radical (adopted from package \textsf{lucimatx}).
%    \begin{macrocode}
\def\r@@t#1#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@}
%    \end{macrocode}
% Mathchars.
%    \begin{macrocode}
\DeclareMathSymbol{+}{\mathbin}{symbols}{"11}
\DeclareMathSymbol{-}{\mathbin}{symbols}{"0E}
\DeclareMathSymbol{*}{\mathbin}{symbols}{"98}
\DeclareMathSymbol{:}{\mathrel}{symbols}{"02}
\DeclareMathSymbol{=}{\mathrel}{relations}{"00}
\DeclareMathSymbol{&lt;}{\mathrel}{relations}{"24}
\DeclareMathSymbol{&gt;}{\mathrel}{relations}{"25}
\iffdsy@largedelims
  \DeclareMathSymbol{|}{\mathord}{delimiters}{"B7}
  \DeclareMathSymbol{(}{\mathopen}{delimiters}{"01}
  \DeclareMathSymbol{)}{\mathclose}{delimiters}{"07}
  \DeclareMathSymbol{[}{\mathopen}{delimiters}{"13}
  \DeclareMathSymbol{]}{\mathclose}{delimiters}{"19}
  \DeclareMathSymbol{/}{\mathord}{delimiters}{"AA}
\else
  \DeclareMathSymbol{|}{\mathord}{delimiters}{"B6}
  \DeclareMathSymbol{(}{\mathopen}{delimiters}{"00}
  \DeclareMathSymbol{)}{\mathclose}{delimiters}{"06}
  \DeclareMathSymbol{[}{\mathopen}{delimiters}{"12}
  \DeclareMathSymbol{]}{\mathclose}{delimiters}{"18}
  \DeclareMathSymbol{/}{\mathord}{delimiters}{"A9}
\fi
%    \end{macrocode}
% There is no |\not| symbol in FdSymbol since all relational symbols come
% with a stroked companion. For compatibility we define a |\not| command that
% places a virgule over the following symbol.
%    \begin{macrocode}
\def\c@ncel#1#2{\m@th\ooalign{$\hfil#1/\hfil$\crcr$#1#2$}}
\def\not#1{\mathrel{\m@th\mathpalette\c@ncel{#1}}}
%&lt;/style&gt;
%    \end{macrocode}
%
% \Finale
\endinput
</pre></body></html>