summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-05-09 21:10:33 +0000
committerKarl Berry <karl@freefriends.org>2011-05-09 21:10:33 +0000
commit999c65abbebaa30f36beb4f9ac812542458574b2 (patch)
tree1e3e8175f9c5dc9507ee5ce1dee38b356abab5d9 /Master/texmf-dist/source
parent977d1378e54196b26b7685f4a5112d58e79bedcd (diff)
new font fdsymbol (9may11)
git-svn-id: svn://tug.org/texlive/trunk@22383 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source')
-rw-r--r--Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx3228
-rw-r--r--Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins55
2 files changed, 3283 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx
new file mode 100644
index 00000000000..0b32a87be63
--- /dev/null
+++ b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx
@@ -0,0 +1,3228 @@
+% \iffalse meta-comment
+%
+% Copyright (c) 2011 by Michael Ummels <michael.ummels@rwth-aachen.de>
+%
+% 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 file fdsymbol.sty.
+%
+% \fi
+%
+%\iffalse
+%<*driver>
+\ProvidesFile{fdsymbol.dtx}[2011/05/09 v0.5a FdSymbol support package]
+%</driver>
+%<style>\NeedsTeXFormat{LaTeX2e}[1999/12/01]
+%<style>\ProvidesPackage{fdsymbol}[2011/05/09 v0.5a FdSymbol support package]
+%<*driver>
+\documentclass[10pt]{ltxdoc}
+
+\usepackage{multicol}
+\usepackage[T1]{fontenc}
+\usepackage{lmodern}
+\IfFileExists{fedraserif.sty}{%
+ \usepackage[variantb]{fedraserif}
+}{%
+ \usepackage{fdsymbol}
+}
+\usepackage{booktabs}
+\usepackage[unicode,bookmarks]{hyperref}
+\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)
+\DeclareMathSymbol{\aleph}{0}{symbols}{"C2}
+\DeclareMathSymbol{\beth}{0}{symbols}{"C3}
+\DeclareMathSymbol{\gimel}{0}{symbols}{"C4}
+\DeclareMathSymbol{\daleth}{0}{symbols}{"C5}
+
+\linespread{1.1}
+
+\newcommand{\pkg}[1]{\mbox{\textsf{#1}}}
+\newcommand{\opt}[1]{\mbox{\texttt{#1}}}
+\newcommand{\file}[1]{\texttt{#1}}
+\providecommand{\figureversion}[1]{}
+
+\begin{document}
+\DocInput{fdsymbol.dtx}
+\end{document}
+%</driver>
+%\fi
+%
+% \GetFileInfo{fdsymbol.dtx}
+%
+% \title{FdSymbol: A Math Symbol Font}
+% \author{Michael Ummels}
+% \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 redefined 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:selection}.
+%
+% \subsubsection*{Acknowledgements}
+%
+% The FdSymbol font is derived from
+% MnSymbol\footnote{\url{http://www.ctan.org/tex-archive/fonts/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{Font selection}\label{sec:selection}
+%
+% FdSymbol comes in four weights, which are (in increasing order) Book,
+% Regular, Medium and Bold. Of these, Book and Regular 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 select 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 Regular weight
+% will be used for small sizes (e.g.\ in sub- and superscripts).
+%
+% 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.
+%
+% The following table summarises all options (keys) that can be used with the
+% \pkg{fdsymbol} package. Values that correspond to the default behaviour of
+% the package are marked by an asterisk.
+% \begin{center}
+% \begin{tabular}{@{}ll@{}}
+% \toprule
+% Key & Values \\
+% \midrule
+% \opt{normalweight} & \opt{Book}*, \opt{Regular}, \opt{auto} \\
+% \opt{boldweight} & \opt{Medium}*, \opt{Bold}, \opt{auto} \\
+% \opt{scale} & \meta{factor} \\
+% \opt{largedelims} & \opt{true}, \opt{false}* \\
+% \bottomrule
+% \end{tabular}
+% \end{center}
+%
+% \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{\bot}
+% \showsymbol{\top}
+% \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{/}, \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{\pm}
+% \showsymbol{\mp}
+% \showsymbol{\dotminus}
+% \showsymbol{\minusdot}
+% \showsymbol{\minusfdots}
+% \showsymbol{\minusrdots}
+% \showsymbol{\dotsminusdots}
+% \showsymbol{\dotplus}
+% \showsymbol{\div}
+% \showsymbol{\divideontimes}
+% \showsymbol{\minushookdown}
+% \showsymbol{\hookdownminus}
+% \showsymbol{\intprod}, \cmd{\minushookup}
+% \showsymbol{\intprodr}, \cmd{\hookupminus}
+% \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{\veebar}
+% \showsymbol{\barwedge}
+% \showsymbol{\veedoublebar}
+% \showsymbol{\doublebarwedge}
+% \showsymbol{\doublewedge}, \cmd{\wedgeonwedge}
+% \showsymbol{\doublevee}, \cmd{\veeonwee}
+% \showsymbol{\curlywedge}
+% \showsymbol{\curlyvee}
+% \showsymbol{\curlywedgedot}
+% \showsymbol{\curlyveedot}
+% \showsymbol{\doublecurlywedge}
+% \showsymbol{\doublecurlyvee}
+% \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{\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{\coloneq}, \cmd{\coloneqq}
+% \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{\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{<}, \cmd{\less}
+% \showsymbol{>}, \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{\lesseqgtrslant}
+% \showsymbol{\gtreqlessslant}
+% \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{\nemapsto}
+% \showsymbol{\nwmapsto}
+% \showsymbol{\swmapsto}
+% \showsymbol{\semapsto}
+% \showsymbol{\lhookrightarrow},
+% \cmd{\hookrightarrow}
+% \showsymbol{\lhookuparrow}
+% \showsymbol{\lhookleftarrow}
+% \showsymbol{\lhookdownarrow}
+% \showsymbol{\lhooknearrow}
+% \showsymbol{\lhooknwarrow},
+% \cmd{\hknwarrow}
+% \showsymbol{\lhookswarrow}
+% \showsymbol{\lhooksearrow},
+% \cmd{\hksearrow}
+% \showsymbol{\rhookrightarrow}
+% \showsymbol{\rhookuparrow}
+% \showsymbol{\rhookleftarrow},
+% \cmd{\hookleftarrow}
+% \showsymbol{\rhookdownarrow}
+% \showsymbol{\rhooknearrow},
+% \cmd{\hknearrow}
+% \showsymbol{\rhooknwarrow}
+% \showsymbol{\rhookswarrow},
+% \cmd{\hkswarrow}
+% \showsymbol{\rhooksearrow}
+% \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{\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{\rightlsquigarrow},
+% \cmd{\leadsto},
+% \cmd{\rightsquigarrow}
+% \showsymbol{\uplsquigarrow}
+% \showsymbol{\leftlsquigarrow}
+% \showsymbol{\downlsquigarrow}
+% \showsymbol{\rightrsquigarrow},
+% \showsymbol{\uprsquigarrow}
+% \showsymbol{\leftrsquigarrow},
+% \cmd{\leftsquigarrow}
+% \showsymbol{\downrsquigarrow}
+% \showsymbol{\leftrightsquigarrow}
+% \showsymbol{\updownsquigarrow}
+% \showsymbol{\rightleftsquigarrow}
+% \showsymbol{\downupsquigarrow}
+% \showsymbol{\rightlcurvearrow},
+% \cmd{\curvearrowright}
+% \showsymbol{\uplcurvearrow}
+% \showsymbol{\leftlcurvearrow}
+% \showsymbol{\downlcurvearrow},
+% \cmd{\cwrightarcarrow}
+% \showsymbol{\nelcurvearrow}
+% \showsymbol{\nwlcurvearrow}
+% \showsymbol{\swlcurvearrow},
+% \cmd{\cwundercurvearrow}
+% \showsymbol{\selcurvearrow}
+% \showsymbol{\rightrcurvearrow},
+% \cmd{\acwunderarcarrow}
+% \showsymbol{\uprcurvearrow}
+% \showsymbol{\leftrcurvearrow},
+% \cmd{\curvearrowleft},
+% \cmd{\acwoverarcarrow}
+% \showsymbol{\downrcurvearrow},
+% \cmd{\acwleftarcarrow}
+% \showsymbol{\nercurvearrow}
+% \showsymbol{\nwrcurvearrow}
+% \showsymbol{\swrcurvearrow}
+% \showsymbol{\sercurvearrow},
+% \cmd{\ccwundercurvearrow}
+% \showsymbol{\leftrightcurvearrow}
+% \showsymbol{\updowncurvearrow}
+% \showsymbol{\rightleftcurvearrow}
+% \showsymbol{\downupcurvearrow}
+% \showsymbol{\neswcurvearrow}
+% \showsymbol{\nwsecurvearrow}
+% \showsymbol{\swnecurvearrow}
+% \showsymbol{\senwcurvearrow}
+% \showsymbol{\leftfootline},
+% \cmd{\vlongdash}
+% \showsymbol{\rightfootline},
+% \cmd{\longdashv}
+% \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{\Lsh}
+% \showsymbol{\Rsh}
+% \showsymbol{\Ldsh}
+% \showsymbol{\Rdsh}
+% \showsymbol{\looparrowright}
+% \showsymbol{\looparrowleft}
+% \showsymbol{\longrightarrow}
+% \showsymbol{\longleftarrow}
+% \showsymbol{\longleftrightarrow}
+% \showsymbol{\Longrightarrow}
+% \showsymbol{\Longleftarrow}
+% \showsymbol{\Longleftrightarrow}
+% \showsymbol{\longmapsto}
+% \showsymbol{\emptyblackspoon},
+% \cmd{\origof}
+% \showsymbol{\filledemptyspoon},
+% \cmd{\imageof}
+% \showsymbol{\leftrightspoon},
+% \cmd{\dualmap}
+% \showsymbol{\leftrightblackspoon}
+% \showsymbol{\rightvdash},
+% \cmd{\vdash},
+% \cmd{\assert}
+% \showsymbol{\upvdash},
+% \cmd{\perp}
+% \showsymbol{\leftvdash},
+% \cmd{\dashv}
+% \showsymbol{\downvdash}
+% \showsymbol{\rightvDash},
+% \cmd{\vDash},
+% \cmd{\models}
+% \showsymbol{\upvDash},
+% \cmd{\Vbar}
+% \showsymbol{\leftvDash},
+% \cmd{\Dashv}
+% \showsymbol{\downvDash},
+% \cmd{\barV}
+% \showsymbol{\rightVdash},
+% \cmd{\Vdash}
+% \showsymbol{\upVdash}
+% \showsymbol{\leftVdash},
+% \cmd{\dashV}
+% \showsymbol{\downVdash}
+% \showsymbol{\rightVDash},
+% \cmd{\VDash}
+% \showsymbol{\upVDash}
+% \showsymbol{\leftVDash},
+% \cmd{\DashV}
+% \showsymbol{\downVDash}
+% \showsymbol{\Vvdash}
+% \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{\nlesseqgtrslant}
+% \showsymbol{\ngtreqlessslant}
+% \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{\lessneqqgtr}
+% \showsymbol{\gtrneqqless}
+% \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{\nnemapsto}
+% \showsymbol{\nnwmapsto}
+% \showsymbol{\nswmapsto}
+% \showsymbol{\nsemapsto}
+% \showsymbol{\nlhookrightarrow},
+% \cmd{\nhookrightarrow}
+% \showsymbol{\nlhookuparrow}
+% \showsymbol{\nlhookleftarrow}
+% \showsymbol{\nlhookdownarrow}
+% \showsymbol{\nlhooknearrow}
+% \showsymbol{\nlhooknwarrow},
+% \cmd{\nhknwarrow}
+% \showsymbol{\nlhookswarrow}
+% \showsymbol{\nlhooksearrow},
+% \cmd{\nhksearrow}
+% \showsymbol{\nrhookrightarrow}
+% \showsymbol{\nrhookuparrow}
+% \showsymbol{\nrhookleftarrow},
+% \cmd{\nhookleftarrow}
+% \showsymbol{\nrhookdownarrow}
+% \showsymbol{\nrhooknearrow},
+% \cmd{\nhknearrow}
+% \showsymbol{\nrhooknwarrow}
+% \showsymbol{\nrhookswarrow},
+% \cmd{\nhkswarrow}
+% \showsymbol{\nrhooksearrow}
+% \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{\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{\nrightlsquigarrow},
+% \cmd{\nleadsto},
+% \cmd{\nrightsquigarrow}
+% \showsymbol{\nuplsquigarrow}
+% \showsymbol{\nleftlsquigarrow}
+% \showsymbol{\ndownlsquigarrow}
+% \showsymbol{\nrightrsquigarrow}
+% \showsymbol{\nuprsquigarrow}
+% \showsymbol{\nleftrsquigarrow},
+% \cmd{\nleftsquigarrow}
+% \showsymbol{\ndownrsquigarrow}
+% \showsymbol{\nleftrightsquigarrow}
+% \showsymbol{\nupdownsquigarrow}
+% \showsymbol{\nrightleftsquigarrow}
+% \showsymbol{\ndownupsquigarrow}
+% \showsymbol{\nrightlcurvearrow},
+% \cmd{\ncurvearrowright}
+% \showsymbol{\nuplcurvearrow}
+% \showsymbol{\nleftlcurvearrow}
+% \showsymbol{\ndownlcurvearrow},
+% \cmd{\ncwrightarcarrow}
+% \showsymbol{\nnelcurvearrow}
+% \showsymbol{\nnwlcurvearrow}
+% \showsymbol{\nswlcurvearrow},
+% \cmd{\ncwundercurvearrow}
+% \showsymbol{\nselcurvearrow}
+% \showsymbol{\nrightrcurvearrow},
+% \cmd{\nacwunderarcarrow}
+% \showsymbol{\nuprcurvearrow}
+% \showsymbol{\nleftrcurvearrow},
+% \cmd{\ncurvearrowleft},
+% \cmd{\nacwoverarcarrow}
+% \showsymbol{\ndownrcurvearrow},
+% \cmd{\nacwleftarcarrow}
+% \showsymbol{\nnercurvearrow}
+% \showsymbol{\nnwrcurvearrow}
+% \showsymbol{\nswrcurvearrow}
+% \showsymbol{\nsercurvearrow},
+% \cmd{\nccwundercurvearrow}
+% \showsymbol{\nleftrightcurvearrow}
+% \showsymbol{\nupdowncurvearrow}
+% \showsymbol{\nrightleftcurvearrow}
+% \showsymbol{\ndownupcurvearrow}
+% \showsymbol{\nneswcurvearrow}
+% \showsymbol{\nnwsecurvearrow}
+% \showsymbol{\nswnecurvearrow}
+% \showsymbol{\nsenwcurvearrow}
+% \showsymbol{\nleftfootline},
+% \cmd{\nvlongdash}
+% \showsymbol{\nrightfootline},
+% \cmd{\nlongdashv}
+% \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{\nrightvdash},
+% \cmd{\nvdash},
+% \cmd{\nassert}
+% \showsymbol{\nupvdash},
+% \cmd{\nperp}
+% \showsymbol{\nleftvdash},
+% \cmd{\ndashv}
+% \showsymbol{\ndownvdash}
+% \showsymbol{\nrightvDash},
+% \cmd{\nvDash},
+% \cmd{\nmodels}
+% \showsymbol{\nupvDash},
+% \cmd{\nVbar}
+% \showsymbol{\nleftvDash},
+% \cmd{\nDashv}
+% \showsymbol{\ndownvDash},
+% \cmd{\nbarV}
+% \showsymbol{\nrightVdash},
+% \cmd{\nVdash}
+% \showsymbol{\nupVdash}
+% \showsymbol{\nleftVdash},
+% \cmd{\ndashV}
+% \showsymbol{\ndownVdash}
+% \showsymbol{\nrightVDash},
+% \cmd{\nVDash}
+% \showsymbol{\nupVDash}
+% \showsymbol{\nleftVDash},
+% \cmd{\nDashV}
+% \showsymbol{\ndownVDash}
+% \showsymbol{:}, \cmd{\mathratio}
+% \showsymbol{\Colon}
+% \showsymbol{\relbar}
+% \showsymbol{\rJoin}
+% \showsymbol{\lJoin}
+% \showsymbol{\bowtie}, \cmd{\Join}
+% \showsymbol{\propto}, \cmd{\varpropto}
+% \showsymbol{\backpropto}, \cmd{propfrom}
+% \showsymbol{\crossing}
+% \showsymbol{\between}
+% \showsymbol{\separated}
+% \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{\bigcurlywedgedot}
+% \showop{\bigcurlyveedot}
+% \showop{\bigdoublecurlywedge}
+% \showop{\bigdoublecurlyvee}
+% \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{\coprod}
+% \showop{\sum}
+% \showop{\osum}
+% \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{\smallprod}
+% \showop{\smallcoprod}
+% \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{\Re} and \cmd{\Im}).
+%
+% \begin{multicols}{2}
+% \raggedright
+
+% \showsymbol{\dagger}
+% \showsymbol{\ddagger}
+% \showsymbol{\mathparagraph}
+% \showsymbol{\mathsection}
+% \showsymbol{\mathdollar}
+% \showsymbol{\mathsterling}
+% \showsymbol{\yen}
+% \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
+% |\Bbbk|\par
+% |\backepsilon|\par
+% |\mapstochar|\par
+% |\lhook|\par
+% |\rhook|\par
+% |\diagup|\par
+% |\diagdown|
+% \end{multicols}
+%
+% \StopEventually{}
+%
+% \section{Implementation}
+%
+% \figureversion{tabular}
+%
+% \begin{macrocode}
+%<*style>
+\RequirePackage{xkeyval}
+% \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{Book}
+\newcommand\fdsy@msweight{Book}
+\newcommand\fdsy@bweight{Medium}
+\newcommand\fdsy@bsweight{Medium}
+\define@choicekey*{fdsymbol.sty}{normalweight}[\@tempa\@tempb]{book,regular,auto}{%
+ \ifcase\@tempb\relax
+ \renewcommand\fdsy@mweight{Book}
+ \renewcommand\fdsy@msweight{Book}
+ \or
+ \renewcommand\fdsy@mweight{Regular}
+ \renewcommand\fdsy@msweight{Regular}
+ \or
+ \renewcommand\fdsy@mweight{Book}
+ \renewcommand\fdsy@msweight{Regular}
+ \fi
+}
+\define@choicekey*{fdsymbol.sty}{boldweight}[\@tempa\@tempb]{medium,bold,auto}{%
+ \ifcase\@tempb\relax
+ \renewcommand\fdsy@bweight{Medium}
+ \renewcommand\fdsy@bsweight{Medium}
+ \or
+ \renewcommand\fdsy@bweight{Bold}
+ \renewcommand\fdsy@bsweight{Bold}
+ \or
+ \renewcommand\fdsy@bweight{Medium}
+ \renewcommand\fdsy@bsweight{Bold}
+ \fi
+}
+
+\ExecuteOptionsX{largedelims=false}
+\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}}
+\@ifundefined{mathfrak}{\RequirePackage{eufrak}}{}
+% \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{\dotplus}{\mathbin{\dot{+}}}
+\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{\veebar}{\mathbin{\underline{\vee}}}
+\DeclareRobustCommand{\barwedge}{\mathbin{\overline{\wedge}}}
+\DeclareRobustCommand{\veedoublebar}{\mathbin{\underline{\underline{\vee}}}}
+\DeclareRobustCommand{\doublebarwedge}{\mathbin{\overline{\overline{\wedge}}}}
+\DeclareRobustCommand{\centerdot}{\mathbin{\rule{0.15em}{0.15em}}}
+\DeclareRobustCommand{\divideontimes}{\mathbin{\ooalign{$\div$\crcr$\times$}}}
+% \end{macrocode}
+% Unneeded partial symbols.
+% \begin{macrocode}
+\let\mapstochar\undefined
+\let\lhook\undefined
+\let\rhook\undefined
+% \end{macrocode}
+% Short hands 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}{
+ <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@msweight
+ <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@mweight
+}{}
+\DeclareFontShape{U}{FdSymbolA}{b}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@bsweight
+ <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@bweight
+}{}
+\DeclareFontShape{U}{FdSymbolB}{m}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@msweight
+ <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@mweight
+}{}
+\DeclareFontShape{U}{FdSymbolB}{b}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@bsweight
+ <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@bweight
+}{}
+\DeclareFontShape{U}{FdSymbolC}{m}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@msweight
+ <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@mweight
+}{}
+\DeclareFontShape{U}{FdSymbolC}{b}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@bsweight
+ <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@bweight
+}{}
+\DeclareFontShape{U}{FdSymbolD}{m}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@msweight
+ <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@mweight
+}{}
+\DeclareFontShape{U}{FdSymbolD}{b}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@bsweight
+ <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@bweight
+}{}
+\DeclareFontShape{U}{FdSymbolE}{m}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@msweight
+ <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@mweight
+}{}
+\DeclareFontShape{U}{FdSymbolE}{b}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@bsweight
+ <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@bweight
+}{}
+\DeclareFontShape{U}{FdSymbolF}{m}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@msweight
+ <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@mweight
+}{}
+\DeclareFontShape{U}{FdSymbolF}{b}{n}{
+ <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@bsweight
+ <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@bweight
+}{}
+
+\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.
+% \begin{macrocode}
+\DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{m}{n}
+\SetMathAlphabet{\mathcal}{bold}{OMS}{cmsy}{b}{n}
+% \end{macrocode}
+% A command to take math symbols from text fonts.
+% \begin{macrocode}
+\newcommand\fdsy@bold{bold}
+\newcommand\fdsy@text[1]{%
+ \ifx\fdsy@bold\math@version
+ \text{\bfseries#1}%
+ \else
+ \text{\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{\pm}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\mp}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\dotminus}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\minusdot}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\minusfdots}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\minusrdots}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\dotsminusdots}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\div}{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{\curlywedgedot}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\curlyveedot}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\doublecurlywedge}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\doublecurlyvee}{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{\separated}{symbols}{\mathrel}
+\fdsy@DeclareSymbol{\bot}{symbols}{\mathord}
+\fdsy@DeclareSymbol{\top}{symbols}{\mathord}
+ \fdsy@DeclareAlias{\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}
+\fdsy@DeclareSymbol{\smallprod}{symbols}{\mathop}
+\fdsy@DeclareSymbol{\smallcoprod}{symbols}{\mathop}
+ \fdsy@DeclareAlias{\amalg}{symbols}{\mathbin}
+\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{\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{\lesseqgtrslant}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\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{\nlesseqgtrslant}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\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{\lessneqqgtr}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\gtrneqqless}{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}
+
+\DeclareRobustCommand{\coloneq}{\mathrel{{\vdotdot}{\equal}}}
+\let\coloneqq\coloneq
+% \end{macrocode}
+% FdSymbolC: arrows
+% \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{\nemapsto}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\nwmapsto}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\swmapsto}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\semapsto}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhookrightarrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\hookrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhookuparrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhookleftarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhookdownarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhooknearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhooknwarrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\hknwarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhookswarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\lhooksearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\hksearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rhookrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rhookuparrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rhookleftarrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\hookleftarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rhookdownarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rhooknearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\hknearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rhooknwarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rhookswarrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\hkswarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\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{\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{\rightlsquigarrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\leadsto}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\rightsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\uplsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftlsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downlsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightrsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\uprsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftrsquigarrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\leftsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downrsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftrightsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\updownsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightleftsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downupsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightlcurvearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\curvearrowright}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\uplcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftlcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downlcurvearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\cwrightarcarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\nelcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\nwlcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\swlcurvearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\cwundercurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\selcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightrcurvearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\acwunderarcarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\uprcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftrcurvearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\curvearrowleft}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\acwoverarcarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downrcurvearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\acwleftarcarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\nercurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\nwrcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\swrcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\sercurvearrow}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\ccwundercurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftrightcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\updowncurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightleftcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downupcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\neswcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\nwsecurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\swnecurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\senwcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftfootline}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\vlongdash}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightfootline}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\longdashv}{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{\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@DeclareAlias{\assert}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\upvdash}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\perp}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftvdash}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\dashv}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downvdash}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightvDash}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\vDash}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\models}{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{\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{\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}
+
+\DeclareRobustCommand{\relbar}{\mathrel{\smash-}}
+\DeclareRobustCommand{\Relbar}{\mathrel=}
+\let\joinrel\undefined
+\DeclareRobustCommand\joinrel{\mathrel{\mkern-4mu}}
+\DeclareRobustCommand\longrightarrow{\DOTSB\relbar\joinrel\rightarrow}
+\DeclareRobustCommand\longleftarrow{\DOTSB\leftarrow\joinrel\relbar}
+\DeclareRobustCommand\longleftrightarrow{\DOTSB\leftarrow\joinrel\rightarrow}
+\DeclareRobustCommand\Longrightarrow{\DOTSB\Relbar\joinrel\Rightarrow}
+\DeclareRobustCommand\Longleftarrow{\DOTSB\Leftarrow\joinrel\Relbar}
+\DeclareRobustCommand\Longleftrightarrow{\DOTSB\Leftarrow\joinrel\Rightarrow}
+\DeclareRobustCommand\longmapsto{\DOTSB\leftfootline\mkern-7mu\rightarrow}
+\DeclareRobustCommand\emptyblackspoon{\DOTSB\leftspoon\mkern-13mu\rightblackspoon}
+\let\origof\emptyblackspoon
+\DeclareRobustCommand\filledemptyspoon{\DOTSB\leftblackspoon\mkern-13mu\rightspoon}
+\let\imageof\filledemptyspoon
+\DeclareRobustCommand\leftrightspoon{\DOTSB\leftspoon\mkern-13mu\rightspoon}
+\let\dualmap\leftrightspoon
+\DeclareRobustCommand\leftrightblackspoon{\DOTSB\leftblackspoon\mkern-13mu\rightblackspoon}
+% \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{\nnemapsto}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nnwmapsto}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nswmapsto}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nsemapsto}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhookrightarrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nhookrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhookuparrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhookleftarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhookdownarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhooknearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhooknwarrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nhknwarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhookswarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlhooksearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nhksearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhookrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhookuparrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhookleftarrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nhookleftarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhookdownarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhooknearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nhknearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhooknwarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhookswarrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nhkswarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrhooksearrow}{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{\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{\nrightlsquigarrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nleadsto}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nrightsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nuplsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftlsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownlsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightrsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nuprsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftrsquigarrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nleftsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownrsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftrightsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nupdownsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightleftsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownupsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightlcurvearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\ncurvearrowright}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nuplcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftlcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownlcurvearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\ncwrightarcarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nnelcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nnwlcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nswlcurvearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\ncwundercurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nselcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightrcurvearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nacwunderarcarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nuprcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftrcurvearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\ncurvearrowleft}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nacwoverarcarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownrcurvearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nacwleftarcarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nnercurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nnwrcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nswrcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nsercurvearrow}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nccwundercurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftrightcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nupdowncurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightleftcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownupcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nneswcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nnwsecurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nswnecurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nsenwcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftfootline}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nvlongdash}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightfootline}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nlongdashv}{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@setslot{224}
+\fdsy@DeclareSymbol{\nrightvdash}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nvdash}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nassert}{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{\nrightvDash}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nvDash}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nmodels}{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{\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{\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}
+% \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{\tbigcurlywedgedot}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dbigcurlywedgedot}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\tbigcurlyveedot}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dbigcurlyveedot}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\tbigdoublecurlywedge}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dbigdoublecurlywedge}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\tbigdoublecurlyvee}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dbigdoublecurlyvee}{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}
+\fdsy@DeclareSymbol{\tprod}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dprod}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\tcoprod}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dcoprod}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\tsum}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dsum}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\tosum}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dosum}{largesymbols}{\mathop}
+\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}
+\fdsy@DeclareSymbol{\tsumint}{largesymbols}{\mathop}
+\fdsy@DeclareSymbol{\dsumint}{largesymbols}{\mathop}
+\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{\sum}{\dsum}{\tsum}
+\fdsy@DeclareOperator{\osum}{\dosum}{\tosum}
+\fdsy@DeclareOperator{\prod}{\dprod}{\tprod}
+\fdsy@DeclareOperator{\coprod}{\dcoprod}{\tcoprod}
+\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}
+
+\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{<}{delimiters}{"86}
+ \fdsy@DeclareClose{>}{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{<}{delimiters}{"85}
+ \fdsy@DeclareClose{>}{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}{"93}
+\DeclareMathSymbol{:}{\mathrel}{symbols}{"02}
+\DeclareMathSymbol{=}{\mathrel}{relations}{"00}
+\DeclareMathSymbol{<}{\mathrel}{relations}{"22}
+\DeclareMathSymbol{>}{\mathrel}{relations}{"23}
+\iffdsy@largedelims
+ \DeclareMathSymbol{|}{\mathord}{delimiters}{"B6}
+ \DeclareMathSymbol{(}{\mathopen}{delimiters}{"01}
+ \DeclareMathSymbol{)}{\mathclose}{delimiters}{"07}
+ \DeclareMathSymbol{[}{\mathopen}{delimiters}{"13}
+ \DeclareMathSymbol{]}{\mathclose}{delimiters}{"19}
+ \DeclareMathSymbol{/}{\mathord}{delimiters}{"AA}
+\else
+ \DeclareMathSymbol{|}{\mathord}{delimiters}{"B5}
+ \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}}}
+%</style>
+% \end{macrocode}
+%
+% \CheckSum{0}
+% \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 \&
+% Acute accent \' Left paren \( Right paren \)
+% Asterisk \* Plus \+ Comma \,
+% Minus \- Point \. Solidus \/
+% Colon \: Semicolon \; Less than \<
+% Equals \= Greater than \> Question mark \?
+% Commercial at \@ Left bracket \[ Backslash \\
+% Right bracket \] Circumflex \^ Underscore \_
+% Grave accent \` Left brace \{ Vertical bar \|
+% Right brace \} Tilde \~}
+%
+% \Finale
+\endinput
diff --git a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins
new file mode 100644
index 00000000000..a936394897c
--- /dev/null
+++ b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins
@@ -0,0 +1,55 @@
+%
+% Copyright (c) 2011 by Michael Ummels <michael.ummels@rwth-aachen.de>
+%
+% 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 file fdsymbol.sty.
+%
+
+\input docstrip.tex
+
+\preamble
+
+This is a generated file.
+
+Copyright (c) 2011 by Michael Ummels <michael.ummels@rwth-aachen.de>
+
+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 file fdsymbol.sty.
+
+\endpreamble
+
+\postamble
+\endpostamble
+
+\keepsilent
+\askforoverwritetrue
+
+\generate{%
+ \file{fdsymbol.sty}{\from{fdsymbol.dtx}{style}}
+}
+
+\endbatchfile