diff options
Diffstat (limited to 'Master/texmf-dist/source')
| -rw-r--r-- | Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx | 1371 | ||||
| -rw-r--r-- | Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins | 8 |
2 files changed, 753 insertions, 626 deletions
diff --git a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx index 553854ff9bd..1a5ea5ebe65 100644 --- a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx +++ b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx @@ -15,16 +15,16 @@ % 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. +% and the derived files fdsymbol.pdf and fdsymbol.sty. % % \fi % %\iffalse %<*driver> -\ProvidesFile{fdsymbol.dtx}[2011/05/30 v0.6a FdSymbol support package] +\ProvidesFile{fdsymbol.dtx}[2011/08/28 v0.7 FdSymbol support package] %</driver> %<style>\NeedsTeXFormat{LaTeX2e}[1999/12/01] -%<style>\ProvidesPackage{fdsymbol}[2011/05/30 v0.6a FdSymbol support package] +%<style>\ProvidesPackage{fdsymbol}[2011/08/28 v0.7 FdSymbol support package] %<*driver> \documentclass[10pt]{ltxdoc} @@ -32,9 +32,8 @@ \usepackage[T1]{fontenc} \usepackage{lmodern} \IfFileExists{fedraserif.sty}{% - \usepackage[variantb]{fedraserif} + \usepackage[variant=B,footnotemarks]{fedraserif} \usepackage[scaled=1.05]{inconsolata} - %\IfFileExists{luximono.sty}{\usepackage[scaled=0.9]{luximono}}{} }{% \usepackage{fdsymbol} } @@ -47,12 +46,13 @@ pdftitle={FdSymbol: A Math Symbol Font}, pdfauthor={Michael Ummels} } +\usepackage{microtype} -% 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} +% Restore FdSymbol's Hebrew letters (overwritten by fedraserif.sty) +\DeclareMathSymbol{\aleph}{0}{symbols}{"C5} +\DeclareMathSymbol{\beth}{0}{symbols}{"C6} +\DeclareMathSymbol{\gimel}{0}{symbols}{"C7} +\DeclareMathSymbol{\daleth}{0}{symbols}{"C8} \linespread{1.1} @@ -61,12 +61,32 @@ \newcommand{\file}[1]{\texttt{#1}} \providecommand{\figureversion}[1]{} +\renewcommand{\theCodelineNo}% + {\normalfont\figureversion{tab}\scriptsize\arabic{CodelineNo}} + \begin{document} \DocInput{fdsymbol.dtx} \end{document} %</driver> %\fi % +% \CheckSum{5532} +% \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 \~} +% % \GetFileInfo{fdsymbol.dtx} % % \title{FdSymbol: A Math Symbol Font} @@ -92,7 +112,7 @@ % \subsubsection*{Acknowledgements} % % The FdSymbol font is derived from -% MnSymbol\footnote{\url{http://www.ctan.org/tex-archive/fonts/mnsymbol/}}, +% MnSymbol\footnote{\url{http://www.ctan.org/pkg/mnsymbol/}}, % another math symbol font, designed by Achim Blumensath. % % \section{Interferences with other packages} @@ -203,8 +223,6 @@ % \showsymbol{\largewhitestar} % \showsymbol{\largeblackstar}, \cmd{\bigstar} % \showsymbol{\infty} -% \showsymbol{\top} -% \showsymbol{\bot} % \showsymbol{\angle} % \showsymbol{\revangle} % \showsymbol{\measuredangle} @@ -244,6 +262,8 @@ % \showsymbol{\gimel} % \showsymbol{\daleth} % \showsymbol{\wp} +% \showsymbol{\top} +% \showsymbol{\bot} % \showsymbol{/}, \cmd{\mathslash} % \showsymbol{\backslash} % {\catcode`\|=11 \showsymbol{|}, \cmd{\vert}} @@ -266,20 +286,20 @@ % \showsymbol{\medbackslash}, \cmd{\smallsetminus} % \showsymbol{+}, \cmd{\plus} % \showsymbol{\times} -% \showsymbol{\pm} -% \showsymbol{\mp} % \showsymbol{\dotminus} % \showsymbol{\minusdot} +% \showsymbol{\div} % \showsymbol{\minusfdots} % \showsymbol{\minusrdots} -% \showsymbol{\dotsminusdots} +% \showsymbol{\pm} +% \showsymbol{\mp} % \showsymbol{\dotplus} -% \showsymbol{\div} +% \showsymbol{\plusdot} +% \showsymbol{\dottimes} +% \showsymbol{\timesbar} % \showsymbol{\divideontimes} -% \showsymbol{\minushookdown} -% \showsymbol{\hookdownminus} -% \showsymbol{\intprod}, \cmd{\minushookup} -% \showsymbol{\intprodr}, \cmd{\hookupminus} +% \showsymbol{\intprod} +% \showsymbol{\intprodr} % \showsymbol{\leftthreetimes} % \showsymbol{\rightthreetimes} % \showsymbol{\dtimes}, \cmd{\btimes} @@ -296,18 +316,14 @@ % \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{\barwedge} +% \showsymbol{\veebar} +% \showsymbol{\doublebarwedge} +% \showsymbol{\veedoublebar} % \showsymbol{\cup} % \showsymbol{\cap} % \showsymbol{\doublecup}, \cmd{\Cup} @@ -407,7 +423,6 @@ % \begin{multicols}{2} % \raggedright % \showsymbol{=}, \cmd{\equal}, \cmd{\Relbar} -% \showsymbol{\coloneq}, \cmd{\coloneqq} % \showsymbol{\equiv} % \showsymbol{\sim} % \showsymbol{\backsim} @@ -428,6 +443,8 @@ % \showsymbol{\Doteq} % \showsymbol{\fallingdotseq} % \showsymbol{\risingdotseq} +% \showsymbol{\coloneq}, \cmd{\coloneqq} +% \showsymbol{\eqcolon}, \cmd{\eqqcolon} % \showsymbol{\smile}, \cmd{\smallsmile} % \showsymbol{\frown}, \cmd{\smallfrown} % \showsymbol{\smilefrown}, \cmd{\asymp} @@ -460,8 +477,8 @@ % \showsymbol{\gtreqless} % \showsymbol{\lesseqqgtr} % \showsymbol{\gtreqqless} -% \showsymbol{\lesseqgtrslant} -% \showsymbol{\gtreqlessslant} +% \showsymbol{\lesseqslantgtr}, \cmd{\lesq} +% \showsymbol{\gtreqslantless}, \cmd{\gesl} % \showsymbol{\ll} % \showsymbol{\gg} % \showsymbol{\lll}, \cmd{\llless} @@ -514,11 +531,9 @@ % \showsymbol{\curlyeqsucc} % \showsymbol{\thicksim} % \showsymbol{\thickapprox} -% \showsymbol{\rightarrow}, -% \cmd{\to} +% \showsymbol{\rightarrow}, \cmd{\to} % \showsymbol{\uparrow} -% \showsymbol{\leftarrow}, -% \cmd{\gets} +% \showsymbol{\leftarrow}, \cmd{\gets} % \showsymbol{\downarrow} % \showsymbol{\nearrow} % \showsymbol{\nwarrow} @@ -556,40 +571,30 @@ % \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{\rightmapsto}, \cmd{\mapsto} +% \showsymbol{\upmapsto}, \cmd{\mapsup} +% \showsymbol{\leftmapsto}, \cmd{\mapsfrom} +% \showsymbol{\downmapsto}, \cmd{\mapsdown} +% \showsymbol{\Rightmapsto}, \cmd{\Mapsto} +% \showsymbol{\Upmapsto}, \cmd{\Mapsup} +% \showsymbol{\Leftmapsto}, \cmd{\Mapsfrom} +% \showsymbol{\Downmapsto}, \cmd{\Mapsdown} +% \showsymbol{\hookrightarrow} +% \showsymbol{\hookuparrow} +% \showsymbol{\varhookleftarrow} +% \showsymbol{\varhookdownarrow} +% \showsymbol{\varhooknearrow} +% \showsymbol{\hooknwarrow}, \cmd{\hknwarrow} +% \showsymbol{\varhookswarrow} +% \showsymbol{\hooksearrow}, \cmd{\hksearrow} +% \showsymbol{\varhookrightarrow} +% \showsymbol{\varhookuparrow} +% \showsymbol{\hookleftarrow} +% \showsymbol{\hookdownarrow} +% \showsymbol{\hooknearrow}, \cmd{\hknearrow} +% \showsymbol{\varhooknwarrow} +% \showsymbol{\hookswarrow}, \cmd{\hkswarrow} +% \showsymbol{\varhooksearrow} % \showsymbol{\rightharpoonup} % \showsymbol{\upharpoonleft} % \showsymbol{\leftharpoondown} @@ -599,8 +604,7 @@ % \showsymbol{\swharpoonse} % \showsymbol{\seharpoonne} % \showsymbol{\rightharpoondown} -% \showsymbol{\upharpoonright}, -% \cmd{\restriction} +% \showsymbol{\upharpoonright}, \cmd{\restriction} % \showsymbol{\leftharpoonup} % \showsymbol{\downharpoonleft} % \showsymbol{\neharpoonse} @@ -616,41 +620,35 @@ % \showsymbol{\neswharpoonsenw} % \showsymbol{\nwseharpoonswne} % \showsymbol{\rightleftharpoons} -% \showsymbol{\updownharpoons}, -% \cmd{\updownharpoonsleftright} +% \showsymbol{\updownharpoons}, \cmd{\updownharpoonsleftright} % \showsymbol{\neswharpoons} % \showsymbol{\senwharpoons} % \showsymbol{\leftrightharpoons} -% \showsymbol{\downupharpoons}, -% \cmd{\downupharpoonsleftright} +% \showsymbol{\downupharpoons}, \cmd{\downupharpoonsleftright} % \showsymbol{\swneharpoons} % \showsymbol{\nwseharpoons} -% \showsymbol{\rightbkarrow}, -% \cmd{\dashrightarrow}, -% \cmd{\dasharrow} +% \showsymbol{\rightbkarrow}, \cmd{\dashrightarrow}, \cmd{\dasharrow} % \showsymbol{\upbkarrow} -% \showsymbol{\leftbkarrow}, -% \cmd{\dashleftarrow} +% \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{\rightspoon}, \cmd{\multimap} +% \showsymbol{\upspoon}, \cmd{\cirmid} +% \showsymbol{\leftspoon}, \cmd{\multimapinv} +% \showsymbol{\downspoon}, \cmd{\midcir} % \showsymbol{\rightblackspoon} % \showsymbol{\upblackspoon} % \showsymbol{\leftblackspoon} % \showsymbol{\downblackspoon} +% \showsymbol{\leftrightspoon}, \cmd{\dualmap} +% \showsymbol{\leftrightblackspoon} +% \showsymbol{\blackwhitespoon}, \cmd{\imageof} +% \showsymbol{\whiteblackspoon}, \cmd{\origof} % \showsymbol{\rightpitchfork} -% \showsymbol{\uppitchfork}, -% \cmd{\pitchfork} +% \showsymbol{\uppitchfork}, \cmd{\pitchfork} % \showsymbol{\leftpitchfork} % \showsymbol{\downpitchfork} % \showsymbol{\rightrightarrows} @@ -669,68 +667,52 @@ % \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{\rightwavearrow}, \cmd{\leadsto}, \cmd{\rightsquigarrow}, +% \cmd{\rightcurvedarrow} +% \showsymbol{\varupwavearrow} +% \showsymbol{\varleftwavearrow} +% \showsymbol{\downwavearrow} +% \showsymbol{\varrightwavearrow} +% \showsymbol{\upwavearrow} +% \showsymbol{\leftwavearrow}, \cmd{\leftsquigarrow}, \cmd{\leftcurvedarrow} +% \showsymbol{\vardownwavearrow} +% \showsymbol{\leftrightwavearrow}, \cmd{\leftrightsquigarrow} +% \showsymbol{\updownwavearrow} +% \showsymbol{\varleftrightwavearrow} +% \showsymbol{\varupdownwavearrow} +% \showsymbol{\cwoverarcarrow}, \cmd{\curvearrowright} +% \showsymbol{\cwleftarcarrow} +% \showsymbol{\cwunderarcarrow} +% \showsymbol{\cwrightarcarrow} +% \showsymbol{\cwnwarcarrow}, \cmd{\rightupcurvedarrow} +% \showsymbol{\cwswarcarrow}, \cmd{\upleftcurvedarrow} +% \showsymbol{\cwsearcarrow}, \cmd{\leftdowncurvedarrow} +% \showsymbol{\cwnearcarrow}, \cmd{\downrightcurvedarrow} +% \showsymbol{\acwunderarcarrow} +% \showsymbol{\acwrightarcarrow} +% \showsymbol{\acwoverarcarrow}, \cmd{\curvearrowleft} +% \showsymbol{\acwleftarcarrow} +% \showsymbol{\acwsearcarrow}, \cmd{\uprightcurvearrow} +% \showsymbol{\acwnearcarrow}, \cmd{\leftupcurvedarrow} +% \showsymbol{\acwnwarcarrow}, \cmd{\downleftcurvedarrow} +% \showsymbol{\acwswarcarrow}, \cmd{\rightdowncurvedarrow} +% \showsymbol{\bdoverarcarrow} +% \showsymbol{\bdleftarcarrow} +% \showsymbol{\bdunderarcarrow} +% \showsymbol{\bdrightarcarrow} +% \showsymbol{\bdnwarcarrow} +% \showsymbol{\bdswarcarrow} +% \showsymbol{\bdsearcarrow} +% \showsymbol{\bdnearcarrow} +% \showsymbol{\leftfootline} +% \showsymbol{\rightfootline} % \showsymbol{\acwcirclearrowup} -% \showsymbol{\acwcirclearrowleft}, -% \cmd{\circlearrowleft}, +% \showsymbol{\acwcirclearrowleft}, \cmd{\circlearrowleft}, % \cmd{\acwopencirclearrow} -% \showsymbol{\acwcirclearrowdown}, -% \cmd{\acwgapcirclearrow} +% \showsymbol{\acwcirclearrowdown}, \cmd{\acwgapcirclearrow} % \showsymbol{\acwcirclearrowright} -% \showsymbol{\cwcirclearrowdown}, -% \cmd{\cwgapcirclearrow} -% \showsymbol{\cwcirclearrowright}, -% \cmd{\circlearrowright}, +% \showsymbol{\cwcirclearrowdown}, \cmd{\cwgapcirclearrow} +% \showsymbol{\cwcirclearrowright}, \cmd{\circlearrowright}, % \cmd{\cwopencirclearrow} % \showsymbol{\cwcirclearrowup} % \showsymbol{\cwcirclearrowleft} @@ -738,56 +720,59 @@ % \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{\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{\longmapsfrom} +% \showsymbol{\Longmapsto} +% \showsymbol{\Longmapsfrom} +% \showsymbol{\longrightwavearrow}, \cmd{\longleadsto}, +% \cmd{\longrightsquigarrow} +% \showsymbol{\longleftwavearrow}, \cmd{\longleftsquigarrow} +% \showsymbol{\longleftfootline}, \cmd{\vlongdash} +% \showsymbol{\longrightfootline}, \cmd{\longdashv} +% \showsymbol{\Lsh} +% \showsymbol{\Rsh} +% \showsymbol{\Ldsh} +% \showsymbol{\Rdsh} +% \showsymbol{\looparrowright} +% \showsymbol{\looparrowleft} +% \showsymbol{\rightvdash}, \cmd{\vdash} +% \showsymbol{\upvdash}, \cmd{\perp} +% \showsymbol{\leftvdash}, \cmd{\dashv} % \showsymbol{\downvdash} -% \showsymbol{\rightvDash}, -% \cmd{\vDash}, -% \cmd{\models} -% \showsymbol{\upvDash}, -% \cmd{\Vbar} -% \showsymbol{\leftvDash}, -% \cmd{\Dashv} -% \showsymbol{\downvDash}, -% \cmd{\barV} -% \showsymbol{\rightVdash}, -% \cmd{\Vdash} +% \showsymbol{\rightassert}, \cmd{\assert}, \cmd{\shortrighttack} +% \showsymbol{\upassert}, \cmd{\shortuptack} +% \showsymbol{\leftassert}, \cmd{\shortlefttack} +% \showsymbol{\downassert}, \cmd{\shortdowntack} +% \showsymbol{\rightvDash}, \cmd{\vDash} +% \showsymbol{\upvDash}, \cmd{\Vbar} +% \showsymbol{\leftvDash}, \cmd{\Dashv} +% \showsymbol{\downvDash}, \cmd{\barV} +% \showsymbol{\rightmodels}, \cmd{\models} +% \showsymbol{\upmodels} +% \showsymbol{\leftmodels} +% \showsymbol{\downmodels} +% \showsymbol{\rightVdash}, \cmd{\Vdash} % \showsymbol{\upVdash} -% \showsymbol{\leftVdash}, -% \cmd{\dashV} +% \showsymbol{\leftVdash}, \cmd{\dashV} % \showsymbol{\downVdash} -% \showsymbol{\rightVDash}, -% \cmd{\VDash} +% \showsymbol{\rightAssert}, \cmd{\Assert} +% \showsymbol{\upAssert}, \cmd{\vBar} +% \showsymbol{\leftAssert} +% \showsymbol{\downAssert}, \cmd{\Barv} +% \showsymbol{\rightVDash}, \cmd{\VDash} % \showsymbol{\upVDash} -% \showsymbol{\leftVDash}, -% \cmd{\DashV} +% \showsymbol{\leftVDash}, \cmd{\DashV} % \showsymbol{\downVDash} % \showsymbol{\Vvdash} +% \showsymbol{\dashVv} +% \showsymbol{\vDdash} +% \showsymbol{\Ddashv} % \showsymbol{\nequal}, \cmd{\neq}, \cmd{\ne} % \showsymbol{\nequiv} % \showsymbol{\nsim} @@ -840,8 +825,8 @@ % \showsymbol{\ngtreqless} % \showsymbol{\nlesseqqgtr} % \showsymbol{\ngtreqqless} -% \showsymbol{\nlesseqgtrslant} -% \showsymbol{\ngtreqlessslant} +% \showsymbol{\nlesseqslantgtr}, \cmd{\nlesg} +% \showsymbol{\ngtreqslantless}, \cmd{\ngesl} % \showsymbol{\nll} % \showsymbol{\ngg} % \showsymbol{\nlll} @@ -902,8 +887,6 @@ % \showsymbol{\gnsim} % \showsymbol{\lnapprox} % \showsymbol{\gnapprox} -% \showsymbol{\lessneqqgtr} -% \showsymbol{\gtrneqqless} % \showsymbol{\sqsubsetneq} % \showsymbol{\sqsupsetneq} % \showsymbol{\sqsubsetneqq} @@ -920,11 +903,9 @@ % \showsymbol{\succnsim} % \showsymbol{\precnapprox} % \showsymbol{\succnapprox} -% \showsymbol{\nrightarrow}, -% \cmd{\nto} +% \showsymbol{\nrightarrow}, \cmd{\nto} % \showsymbol{\nuparrow} -% \showsymbol{\nleftarrow}, -% \cmd{\ngets} +% \showsymbol{\nleftarrow}, \cmd{\ngets} % \showsymbol{\ndownarrow} % \showsymbol{\nnearrow} % \showsymbol{\nnwarrow} @@ -962,40 +943,30 @@ % \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{\nrightmapsto}, \cmd{\nmapsto} +% \showsymbol{\nupmapsto}, \cmd{\nmapsup} +% \showsymbol{\nleftmapsto}, \cmd{\nmapsfrom} +% \showsymbol{\ndownmapsto}, \cmd{\nmapsdown} +% \showsymbol{\nRightmapsto}, \cmd{\nMapsto} +% \showsymbol{\nUpmapsto}, \cmd{\nMapsup} +% \showsymbol{\nLeftmapsto}, \cmd{\nMapsfrom} +% \showsymbol{\nDownmapsto}, \cmd{\nMapsdown} +% \showsymbol{\nhookrightarrow} +% \showsymbol{\nhookuparrow} +% \showsymbol{\nvarhookleftarrow} +% \showsymbol{\nvarhookdownarrow} +% \showsymbol{\nvarhooknearrow} +% \showsymbol{\nhooknwarrow}, \cmd{\nhknwarrow} +% \showsymbol{\nvarhookswarrow} +% \showsymbol{\nhooksearrow}, \cmd{\nhksearrow} +% \showsymbol{\nvarhookrightarrow} +% \showsymbol{\nvarhookuparrow} +% \showsymbol{\nhookleftarrow} +% \showsymbol{\nhookdownarrow} +% \showsymbol{\nhooknearrow}, \cmd{\nhknearrow} +% \showsymbol{\nvarhooknwarrow} +% \showsymbol{\nhookswarrow}, \cmd{\nhkswarrow} +% \showsymbol{\nvarhooksearrow} % \showsymbol{\nrightharpoonup} % \showsymbol{\nupharpoonleft} % \showsymbol{\nleftharpoondown} @@ -1005,8 +976,7 @@ % \showsymbol{\nswharpoonse} % \showsymbol{\nseharpoonne} % \showsymbol{\nrightharpoondown} -% \showsymbol{\nupharpoonright}, -% \cmd{\nrestriction} +% \showsymbol{\nupharpoonright}, \cmd{\nrestriction} % \showsymbol{\nleftharpoonup} % \showsymbol{\ndownharpoonleft} % \showsymbol{\nneharpoonse} @@ -1022,41 +992,35 @@ % \showsymbol{\nneswharpoonsenw} % \showsymbol{\nnwseharpoonswne} % \showsymbol{\nrightleftharpoons} -% \showsymbol{\nupdownharpoons}, -% \cmd{\nupdownharpoonsleftright} +% \showsymbol{\nupdownharpoons}, \cmd{\nupdownharpoonsleftright} % \showsymbol{\nneswharpoons} % \showsymbol{\nsenwharpoons} % \showsymbol{\nleftrightharpoons} -% \showsymbol{\ndownupharpoons}, -% \cmd{\ndownupharpoonsleftright} +% \showsymbol{\ndownupharpoons}, \cmd{\ndownupharpoonsleftright} % \showsymbol{\nswneharpoons} % \showsymbol{\nnwseharpoons} -% \showsymbol{\nrightbkarrow}, -% \cmd{\ndasharrow}, -% \cmd{\ndashrightarrow} +% \showsymbol{\nrightbkarrow}, \cmd{\ndasharrow}, \cmd{\ndashrightarrow} % \showsymbol{\nupbkarrow} -% \showsymbol{\nleftbkarrow}, -% \cmd{\ndashleftarrow} +% \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{\nrightspoon}, \cmd{\nmultimap} +% \showsymbol{\nupspoon}, \cmd{\ncirmid} +% \showsymbol{\nleftspoon}, \cmd{\nmultimapinv} +% \showsymbol{\ndownspoon}, \cmd{\nmidcir} % \showsymbol{\nrightblackspoon} % \showsymbol{\nupblackspoon} % \showsymbol{\nleftblackspoon} % \showsymbol{\ndownblackspoon} +% \showsymbol{\nleftrightspoon}, \cmd{\ndualmap} +% \showsymbol{\nleftrightblackspoon} +% \showsymbol{\nblackwhitespoon}, \cmd{\nimageof} +% \showsymbol{\nwhiteblackspoon}, \cmd{\norigof} % \showsymbol{\nrightpitchfork} -% \showsymbol{\nuppitchfork}, -% \cmd{\npitchfork} +% \showsymbol{\nuppitchfork}, \cmd{\npitchfork} % \showsymbol{\nleftpitchfork} % \showsymbol{\ndownpitchfork} % \showsymbol{\nrightrightarrows} @@ -1075,68 +1039,52 @@ % \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{\nrightwavearrow}, \cmd{\nleadsto}, \cmd{\nrightsquigarrow}, +% \cmd{\nrightcurvedarrow} +% \showsymbol{\nvarupwavearrow} +% \showsymbol{\nvarleftwavearrow} +% \showsymbol{\ndownwavearrow} +% \showsymbol{\nvarrightwavearrow} +% \showsymbol{\nupwavearrow} +% \showsymbol{\nleftwavearrow}, \cmd{\nleftsquigarrow}, \cmd{\nleftcurvedarrow} +% \showsymbol{\nvardownwavearrow} +% \showsymbol{\nleftrightwavearrow}, \cmd{\nleftrightsquigarrow} +% \showsymbol{\nupdownwavearrow} +% \showsymbol{\nvarleftrightwavearrow} +% \showsymbol{\nvarupdownwavearrow} +% \showsymbol{\ncwoverarcarrow}, \cmd{\ncurvearrowright} +% \showsymbol{\ncwleftarcarrow} +% \showsymbol{\ncwunderarcarrow} +% \showsymbol{\ncwrightarcarrow} +% \showsymbol{\ncwnwarcarrow}, \cmd{\nrightupcurvedarrow} +% \showsymbol{\ncwswarcarrow}, \cmd{\nupleftcurvedarrow} +% \showsymbol{\ncwsearcarrow}, \cmd{\nleftdowncurvedarrow} +% \showsymbol{\ncwnearcarrow}, \cmd{\ndownrightcurvedarrow} +% \showsymbol{\nacwunderarcarrow} +% \showsymbol{\nacwrightarcarrow} +% \showsymbol{\nacwoverarcarrow}, \cmd{\ncurvearrowleft} +% \showsymbol{\nacwleftarcarrow} +% \showsymbol{\nacwsearcarrow}, \cmd{\nuprightcurvearrow} +% \showsymbol{\nacwnearcarrow}, \cmd{\nleftupcurvedarrow} +% \showsymbol{\nacwnwarcarrow}, \cmd{\ndownleftcurvedarrow} +% \showsymbol{\nacwswarcarrow}, \cmd{\nrightdowncurvedarrow} +% \showsymbol{\nbdoverarcarrow} +% \showsymbol{\nbdleftarcarrow} +% \showsymbol{\nbdunderarcarrow} +% \showsymbol{\nbdrightarcarrow} +% \showsymbol{\nbdnwarcarrow} +% \showsymbol{\nbdswarcarrow} +% \showsymbol{\nbdsearcarrow} +% \showsymbol{\nbdnearcarrow} +% \showsymbol{\nleftfootline} +% \showsymbol{\nrightfootline} % \showsymbol{\nacwcirclearrowup} -% \showsymbol{\nacwcirclearrowleft}, -% \cmd{\ncirclearrowleft}, +% \showsymbol{\nacwcirclearrowleft}, \cmd{\ncirclearrowleft}, % \cmd{\nacwopencirclearrow} -% \showsymbol{\nacwcirclearrowdown}, -% \cmd{\nacwgapcirclearrow} +% \showsymbol{\nacwcirclearrowdown}, \cmd{\nacwgapcirclearrow} % \showsymbol{\nacwcirclearrowright} -% \showsymbol{\ncwcirclearrowdown}, -% \cmd{\ncwgapcirclearrow} -% \showsymbol{\ncwcirclearrowright}, -% \cmd{\ncirclearrowright}, +% \showsymbol{\ncwcirclearrowdown}, \cmd{\ncwgapcirclearrow} +% \showsymbol{\ncwcirclearrowright}, \cmd{\ncirclearrowright}, % \cmd{\ncwopencirclearrow} % \showsymbol{\ncwcirclearrowup} % \showsymbol{\ncwcirclearrowleft} @@ -1144,38 +1092,57 @@ % \showsymbol{\nUuparrow} % \showsymbol{\nLleftarrow} % \showsymbol{\nDdownarrow} -% \showsymbol{\nrightvdash}, -% \cmd{\nvdash}, -% \cmd{\nassert} -% \showsymbol{\nupvdash}, -% \cmd{\nperp} -% \showsymbol{\nleftvdash}, -% \cmd{\ndashv} +% \showsymbol{\nlongrightarrow} +% \showsymbol{\nlongleftarrow} +% \showsymbol{\nLongrightarrow} +% \showsymbol{\nLongleftarrow} +% \showsymbol{\nlongleftrightarrow} +% \showsymbol{\nLongleftrightarrow} +% \showsymbol{\nlongmapsto} +% \showsymbol{\nlongmapsfrom} +% \showsymbol{\nLongmapsto} +% \showsymbol{\nLongmapsfrom} +% \showsymbol{\nlongrightwavearrow}, \cmd{\nlongleadsto}, +% \cmd{\nlongrightsquigarrow} +% \showsymbol{\nlongleftwavearrow}, \cmd{\nlongleftsquigarrow} +% \showsymbol{\nlongleftfootline}, \cmd{\nvlongdash} +% \showsymbol{\nlongrightfootline}, \cmd{\nlongdashv} +% \showsymbol{\nrightvdash}, \cmd{\nvdash} +% \showsymbol{\nupvdash}, \cmd{\nperp} +% \showsymbol{\nleftvdash}, \cmd{\ndashv} % \showsymbol{\ndownvdash} -% \showsymbol{\nrightvDash}, -% \cmd{\nvDash}, -% \cmd{\nmodels} -% \showsymbol{\nupvDash}, -% \cmd{\nVbar} -% \showsymbol{\nleftvDash}, -% \cmd{\nDashv} -% \showsymbol{\ndownvDash}, -% \cmd{\nbarV} -% \showsymbol{\nrightVdash}, -% \cmd{\nVdash} +% \showsymbol{\nrightassert}, \cmd{\nassert}, \cmd{\nshortrighttack} +% \showsymbol{\nupassert}, \cmd{\nshortuptack} +% \showsymbol{\nleftassert}, \cmd{\nshortlefttack} +% \showsymbol{\ndownassert}, \cmd{\nshortdowntack} +% \showsymbol{\nrightvDash}, \cmd{\nvDash} +% \showsymbol{\nupvDash}, \cmd{\nVbar} +% \showsymbol{\nleftvDash}, \cmd{\nDashv} +% \showsymbol{\ndownvDash}, \cmd{\nbarV} +% \showsymbol{\nrightmodels}, \cmd{\nmodels} +% \showsymbol{\nupmodels} +% \showsymbol{\nleftmodels} +% \showsymbol{\ndownmodels} +% \showsymbol{\nrightVdash}, \cmd{\nVdash} % \showsymbol{\nupVdash} -% \showsymbol{\nleftVdash}, -% \cmd{\ndashV} +% \showsymbol{\nleftVdash}, \cmd{\ndashV} % \showsymbol{\ndownVdash} -% \showsymbol{\nrightVDash}, -% \cmd{\nVDash} +% \showsymbol{\nrightAssert}, \cmd{\nAssert} +% \showsymbol{\nupAssert}, \cmd{\nvBar} +% \showsymbol{\nleftAssert} +% \showsymbol{\ndownAssert}, \cmd{\nBarv} +% \showsymbol{\nrightVDash}, \cmd{\nVDash} % \showsymbol{\nupVDash} -% \showsymbol{\nleftVDash}, -% \cmd{\nDashV} +% \showsymbol{\nleftVDash}, \cmd{\nDashV} % \showsymbol{\ndownVDash} +% \showsymbol{\nVvdash} +% \showsymbol{\ndashVv} +% \showsymbol{\nvDdash} +% \showsymbol{\nDdashv} % \showsymbol{:}, \cmd{\mathratio} % \showsymbol{\Colon} % \showsymbol{\relbar} +% \showsymbol{\dotsminusdots} % \showsymbol{\rJoin} % \showsymbol{\lJoin} % \showsymbol{\bowtie}, \cmd{\Join} @@ -1183,7 +1150,6 @@ % \showsymbol{\backpropto}, \cmd{\propfrom} % \showsymbol{\crossing} % \showsymbol{\between} -% \showsymbol{\separated} % \showsymbol{\shortmid} % \showsymbol{\mid}, \cmd{\divides} % \showsymbol{\nshortmid} @@ -1212,23 +1178,16 @@ % \showop{\bigvee} % \showop{\bigwedgedot} % \showop{\bigveedot} -% \showop{\bigdoublewedge}, -% \cmd{\conjquant} -% \showop{\bigdoublevee}, -% \cmd{\disjquant} +% \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{\bigcupplus}, \cmd{\biguplus} % \showop{\bigsqcap} % \showop{\bigsqcup} % \showop{\bigsqcapdot} @@ -1242,32 +1201,24 @@ % \showop{\prod} % \showop{\coprod} % \showop{\sum} -% \showop{\osum} +% \showop{\osum}, \cmd{\modtwosum} % \showop{\int} % \showop{\iint} % \showop{\iiint} % \showop{\iiiint} -% \showop{\idotsint}, -% \cmd{\dotsint} -% \showop{\landupint}, -% \cmd{\intclockwise} -% \showop{\landdownint}, -% \cmd{\awint}, -% \cmd{\intctrclockwise} +% \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{\rcirclerightint}, \cmd{\ointctrclockwise} +% \showop{\lcirclerightint}, \cmd{\varointclockwise} +% \showop{\rcircleleftint}, \cmd{\varointctrclockwise} +% \showop{\lcircleleftint}, \cmd{\ointclockwise} % \showop{\sumint} % \showop{\smallprod} % \showop{\smallcoprod} @@ -1355,7 +1306,7 @@ % \subsection{Faked symbols} % % The following symbols are taken from the text font or -% another math font (in case of \cmd{\Re} and \cmd{\Im}). +% another math font (in case of \cmd{\Bbbk}, \cmd{\Re} and \cmd{\Im}). % % \begin{multicols}{2} % \raggedright @@ -1367,6 +1318,7 @@ % \showsymbol{\mathdollar} % \showsymbol{\mathsterling} % \showsymbol{\yen} +% \showsymbol{\Bbbk} % \showsymbol{\Re} % \showsymbol{\Im} % \showsymbol{\hbar} @@ -1389,24 +1341,25 @@ % |\eth|\par % |\digamma|\par % |\varkappa|\par -% |\Bbbk|\par % |\backepsilon|\par % |\mapstochar|\par % |\lhook|\par % |\rhook|\par % |\diagup|\par -% |\diagdown| +% |\diagdown|\par +% \quad % \end{multicols} % % \StopEventually{} % % \section{Implementation} % -% \figureversion{tabular} -% % \begin{macrocode} %<*style> \RequirePackage{xkeyval} +\newcommand*\fdsy@choicekey[3]{% + \define@choicekey*{fdsymbol.sty}{#1}[\@tempa\@tempb]{#2}{#3}% +} % \end{macrocode} % We use \pkg{xkeyval}'s key mechanism to declare all options. The % first options determines the size of delimiters. @@ -1421,35 +1374,34 @@ % 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}{% +\newcommand\fdsy@mweight@normal{Book} +\newcommand\fdsy@mweight@small{Book} +\newcommand\fdsy@bweight@normal{Medium} +\newcommand\fdsy@bweight@small{Medium} +\fdsy@choicekey{normalweight}{book,regular,auto}{% \ifcase\@tempb\relax - \renewcommand\fdsy@mweight{Book} - \renewcommand\fdsy@msweight{Book} + \renewcommand\fdsy@mweight@normal{Book}% + \renewcommand\fdsy@mweight@small{Book}% \or - \renewcommand\fdsy@mweight{Regular} - \renewcommand\fdsy@msweight{Regular} + \renewcommand\fdsy@mweight@normal{Regular}% + \renewcommand\fdsy@mweight@small{Regular}% \or - \renewcommand\fdsy@mweight{Book} - \renewcommand\fdsy@msweight{Regular} + \renewcommand\fdsy@mweight@normal{Book}% + \renewcommand\fdsy@mweight@small{Regular}% \fi } -\define@choicekey*{fdsymbol.sty}{boldweight}[\@tempa\@tempb]{medium,bold,auto}{% +\fdsy@choicekey{boldweight}{medium,bold,auto}{% \ifcase\@tempb\relax - \renewcommand\fdsy@bweight{Medium} - \renewcommand\fdsy@bsweight{Medium} + \renewcommand\fdsy@bweight@normal{Medium}% + \renewcommand\fdsy@bweight@small{Medium}% \or - \renewcommand\fdsy@bweight{Bold} - \renewcommand\fdsy@bsweight{Bold} + \renewcommand\fdsy@bweight@normal{Bold}% + \renewcommand\fdsy@bweight@small{Bold}% \or - \renewcommand\fdsy@bweight{Medium} - \renewcommand\fdsy@bsweight{Bold} + \renewcommand\fdsy@bweight@normal{Medium}% + \renewcommand\fdsy@bweight@small{Bold}% \fi } - \ExecuteOptionsX{largedelims=false} \ProcessOptionsX % \end{macrocode} @@ -1459,7 +1411,6 @@ % \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 @@ -1487,7 +1438,6 @@ \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$}}} @@ -1495,12 +1445,7 @@ \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} @@ -1540,52 +1485,52 @@ \DeclareFontFamily{U}{FdSymbolF}{} \DeclareFontShape{U}{FdSymbolA}{m}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@msweight - <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@mweight + <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@mweight@small + <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@mweight@normal }{} \DeclareFontShape{U}{FdSymbolA}{b}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@bsweight - <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@bweight + <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@bweight@small + <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@bweight@normal }{} \DeclareFontShape{U}{FdSymbolB}{m}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@msweight - <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@mweight + <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@mweight@small + <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@mweight@normal }{} \DeclareFontShape{U}{FdSymbolB}{b}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@bsweight - <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@bweight + <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@bweight@small + <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@bweight@normal }{} \DeclareFontShape{U}{FdSymbolC}{m}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@msweight - <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@mweight + <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@mweight@small + <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@mweight@normal }{} \DeclareFontShape{U}{FdSymbolC}{b}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@bsweight - <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@bweight + <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@bweight@small + <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@bweight@normal }{} \DeclareFontShape{U}{FdSymbolD}{m}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@msweight - <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@mweight + <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@mweight@small + <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@mweight@normal }{} \DeclareFontShape{U}{FdSymbolD}{b}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@bsweight - <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@bweight + <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@bweight@small + <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@bweight@normal }{} \DeclareFontShape{U}{FdSymbolE}{m}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@msweight - <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@mweight + <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@mweight@small + <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@mweight@normal }{} \DeclareFontShape{U}{FdSymbolE}{b}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@bsweight - <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@bweight + <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@bweight@small + <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@bweight@normal }{} \DeclareFontShape{U}{FdSymbolF}{m}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@msweight - <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@mweight + <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@mweight@small + <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@mweight@normal }{} \DeclareFontShape{U}{FdSymbolF}{b}{n}{ - <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@bsweight - <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@bweight + <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@bweight@small + <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@bweight@normal }{} \DeclareSymbolFont{symbols}{U}{FdSymbolA}{m}{n} @@ -1601,10 +1546,20 @@ \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. +% At the moment, we still use cmsy for the calligraphic alphabet, +% msb for the blackboard bold alphabet, and euf for the Fraktur +% alphabet. % \begin{macrocode} +\let\mathcal\undefined \DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{m}{n} \SetMathAlphabet{\mathcal}{bold}{OMS}{cmsy}{b}{n} +\let\mathbb\undefined +\DeclareMathAlphabet{\mathbb}{U}{msb}{m}{n} +\let\Bbbk\undefined +\newcommand{\Bbbk}{\mathbb{\mathchar"717C}} +\let\mathfrak\undefined +\DeclareMathAlphabet{\mathfrak}{U}{euf}{m}{n} +\SetMathAlphabet{\mathfrak}{bold}{U}{euf}{b}{n} % \end{macrocode} % A command to take math symbols from text fonts. % \begin{macrocode} @@ -1652,14 +1607,19 @@ \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{\div}{symbols}{\mathbin} \fdsy@DeclareSymbol{\minusfdots}{symbols}{\mathbin} \fdsy@DeclareSymbol{\minusrdots}{symbols}{\mathbin} -\fdsy@DeclareSymbol{\dotsminusdots}{symbols}{\mathbin} -\fdsy@DeclareSymbol{\div}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\dotsminusdots}{symbols}{\mathrel} +\fdsy@DeclareSymbol{\pm}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\mp}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\dotplus}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\plusdot}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\dottimes}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\timesbar}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\divideontimes}{symbols}{\mathbin} \fdsy@DeclareSymbol{\neg}{symbols}{\mathord} \fdsy@DeclareAlias{\lnot}{symbols}{\mathord} \fdsy@DeclareAlias{\minushookdown}{symbols}{\mathbin} @@ -1705,10 +1665,10 @@ \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{\barwedge}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\veebar}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\doublebarwedge}{symbols}{\mathbin} +\fdsy@DeclareSymbol{\veedoublebar}{symbols}{\mathbin} \fdsy@DeclareSymbol{\cup}{symbols}{\mathbin} \fdsy@DeclareSymbol{\cap}{symbols}{\mathbin} \fdsy@DeclareSymbol{\doublecup}{symbols}{\mathbin} @@ -1878,10 +1838,7 @@ \fdsy@DeclareAlias{\propfrom}{symbols}{\mathrel} \fdsy@DeclareSymbol{\crossing}{symbols}{\mathrel} \fdsy@DeclareSymbol{\between}{symbols}{\mathrel} -\fdsy@DeclareSymbol{\separated}{symbols}{\mathrel} -\fdsy@DeclareSymbol{\top}{symbols}{\mathord} - \fdsy@DeclareAlias{\intercal}{symbols}{\mathbin} -\fdsy@DeclareSymbol{\bot}{symbols}{\mathord} +\fdsy@DeclareSymbol{\intercal}{symbols}{\mathbin} \fdsy@DeclareSymbol{\wreath}{symbols}{\mathbin} \fdsy@DeclareAlias{\wr}{symbols}{\mathbin} \fdsy@DeclareSymbol{\angle}{symbols}{\mathord} @@ -1959,6 +1916,10 @@ \fdsy@DeclareAlias{\doteqdot}{relations}{\mathrel} \fdsy@DeclareSymbol{\fallingdotseq}{relations}{\mathrel} \fdsy@DeclareSymbol{\risingdotseq}{relations}{\mathrel} +\fdsy@DeclareSymbol{\coloneq}{relations}{\mathrel} + \fdsy@DeclareAlias{\coloneqq}{relations}{\mathrel} +\fdsy@DeclareSymbol{\eqcolon}{relations}{\mathrel} + \fdsy@DeclareAlias{\eqqcolon}{relations}{\mathrel} \fdsy@DeclareSymbol{\smile}{relations}{\mathrel} \fdsy@DeclareAlias{\smallsmile}{relations}{\mathrel} \fdsy@DeclareSymbol{\frown}{relations}{\mathrel} @@ -2001,8 +1962,12 @@ \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{\lesseqslantgtr}{relations}{\mathrel} + \fdsy@DeclareAlias{\lesg}{relations}{\mathrel} + \fdsy@DeclareAlias{\lesseqgtrslant}{relations}{\mathrel} +\fdsy@DeclareSymbol{\gtreqslantless}{relations}{\mathrel} + \fdsy@DeclareAlias{\gesl}{relations}{\mathrel} + \fdsy@DeclareAlias{\gtreqlessslant}{relations}{\mathrel} \fdsy@DeclareSymbol{\ll}{relations}{\mathrel} \fdsy@DeclareSymbol{\gg}{relations}{\mathrel} \fdsy@DeclareSymbol{\lll}{relations}{\mathrel} @@ -2131,8 +2096,12 @@ \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{\nlesseqslantgtr}{relations}{\mathrel} + \fdsy@DeclareAlias{\nlesg}{relations}{\mathrel} + \fdsy@DeclareAlias{\nlesseqgtrslant}{relations}{\mathrel} +\fdsy@DeclareSymbol{\ngtreqslantless}{relations}{\mathrel} + \fdsy@DeclareAlias{\ngesl}{relations}{\mathrel} + \fdsy@DeclareAlias{\ngtreqlessslant}{relations}{\mathrel} \fdsy@DeclareSymbol{\nll}{relations}{\mathrel} \fdsy@DeclareSymbol{\ngg}{relations}{\mathrel} \fdsy@DeclareSymbol{\nlll}{relations}{\mathrel} @@ -2204,9 +2173,7 @@ \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{\gnapprox}{relations}{\mathrel} \fdsy@DeclareSymbol{\sqsubsetneq}{relations}{\mathrel} \fdsy@DeclareSymbol{\sqsupsetneq}{relations}{\mathrel} \fdsy@DeclareSymbol{\sqsubsetneqq}{relations}{\mathrel} @@ -2227,11 +2194,8 @@ \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 +% FdSymbolC: arrows and turnstile symbols % \begin{macrocode} \fdsy@setslot{0} \fdsy@DeclareSymbol{\rightarrow}{arrows}{\mathrel} @@ -2284,32 +2248,50 @@ \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@DeclareSymbol{\Rightmapsto}{arrows}{\mathrel} + \fdsy@DeclareAlias{\Mapsto}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Upmapsto}{arrows}{\mathrel} + \fdsy@DeclareAlias{\Mapsup}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Leftmapsto}{arrows}{\mathrel} + \fdsy@DeclareAlias{\Mapsfrom}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Downmapsto}{arrows}{\mathrel} + \fdsy@DeclareAlias{\Mapsdown}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hookrightarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\lhookrightarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hookuparrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\lhookuparrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhookleftarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\lhookleftarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhookdownarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\lhookdownarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhooknearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\lhooknearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hooknwarrow}{arrows}{\mathrel} \fdsy@DeclareAlias{\hknwarrow}{arrows}{\mathrel} -\fdsy@DeclareSymbol{\lhookswarrow}{arrows}{\mathrel} -\fdsy@DeclareSymbol{\lhooksearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\lhooknwarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhookswarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\lhookswarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hooksearrow}{arrows}{\mathrel} \fdsy@DeclareAlias{\hksearrow}{arrows}{\mathrel} -\fdsy@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{\lhooksearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhookrightarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhookrightarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhookuparrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhookuparrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hookleftarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhookleftarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hookdownarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhookdownarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hooknearrow}{arrows}{\mathrel} \fdsy@DeclareAlias{\hknearrow}{arrows}{\mathrel} -\fdsy@DeclareSymbol{\rhooknwarrow}{arrows}{\mathrel} -\fdsy@DeclareSymbol{\rhookswarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhooknearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhooknwarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhooknwarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\hookswarrow}{arrows}{\mathrel} \fdsy@DeclareAlias{\hkswarrow}{arrows}{\mathrel} -\fdsy@DeclareSymbol{\rhooksearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhookswarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varhooksearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rhooksearrow}{arrows}{\mathrel} \fdsy@DeclareSymbol{\rightharpoonup}{arrows}{\mathrel} \fdsy@DeclareSymbol{\upharpoonleft}{arrows}{\mathrel} \fdsy@DeclareSymbol{\leftharpoondown}{arrows}{\mathrel} @@ -2368,6 +2350,13 @@ \fdsy@DeclareSymbol{\upblackspoon}{arrows}{\mathrel} \fdsy@DeclareSymbol{\leftblackspoon}{arrows}{\mathrel} \fdsy@DeclareSymbol{\downblackspoon}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\leftrightspoon}{arrows}{\mathrel} + \fdsy@DeclareAlias{\dualmap}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\leftrightblackspoon}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\blackwhitespoon}{arrows}{\mathrel} + \fdsy@DeclareAlias{\imageof}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\whiteblackspoon}{arrows}{\mathrel} + \fdsy@DeclareAlias{\origof}{arrows}{\mathrel} \fdsy@DeclareSymbol{\rightpitchfork}{arrows}{\mathrel} \fdsy@DeclareSymbol{\uppitchfork}{arrows}{\mathrel} \fdsy@DeclareAlias{\pitchfork}{arrows}{\mathrel} @@ -2389,57 +2378,95 @@ \fdsy@DeclareSymbol{\downuparrows}{arrows}{\mathrel} \fdsy@DeclareSymbol{\swnearrows}{arrows}{\mathrel} \fdsy@DeclareSymbol{\senwarrows}{arrows}{\mathrel} -\fdsy@DeclareSymbol{\rightlsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\rightwavearrow}{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{\rightcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rightlsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varupwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\uplsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varleftwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\leftlsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\downwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downlsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varrightwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rightrsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\upwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\uprsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\leftwavearrow}{arrows}{\mathrel} \fdsy@DeclareAlias{\leftsquigarrow}{arrows}{\mathrel} -\fdsy@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{\leftcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\leftrsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\vardownwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downrsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\leftrightwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\leftrightsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\updownwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\updownsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varleftrightwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rightleftsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\varupdownwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downupsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwoverarcarrow}{arrows}{\mathrel} \fdsy@DeclareAlias{\curvearrowright}{arrows}{\mathrel} -\fdsy@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{\rightlcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwleftarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\uplcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwunderarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\leftlcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwrightarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downlcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwnwarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rightupcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\nelcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwswarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\upleftcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\nwlcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwsearcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\leftdowncurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\swlcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\cwnearcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downrightcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\selcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwunderarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rightrcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwrightarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\uprcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwoverarcarrow}{arrows}{\mathrel} \fdsy@DeclareAlias{\curvearrowleft}{arrows}{\mathrel} - \fdsy@DeclareAlias{\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@DeclareAlias{\leftrcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwleftarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downrcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwsearcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\uprightcurvearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\nercurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwnearcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\leftupcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\nwrcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwnwarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downleftcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\swrcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\acwswarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rightdowncurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\sercurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdoverarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\leftrightcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdleftarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\updowncurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdunderarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\rightleftcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdrightarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\downupcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdnwarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\neswcurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdswarcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\nwsecurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdsearcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\swnecurvearrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\bdnearcarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\senwcurvearrow}{arrows}{\mathrel} \fdsy@DeclareSymbol{\leftfootline}{arrows}{\mathrel} - \fdsy@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} @@ -2458,6 +2485,25 @@ \fdsy@DeclareSymbol{\Uuparrow}{arrows}{\mathrel} \fdsy@DeclareSymbol{\Lleftarrow}{arrows}{\mathrel} \fdsy@DeclareSymbol{\Ddownarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longrightarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longleftarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Longrightarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Longleftarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longleftrightarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Longleftrightarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longmapsto}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longmapsfrom}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Longmapsto}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Longmapsfrom}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longrightwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\longleadsto}{arrows}{\mathrel} + \fdsy@DeclareAlias{\longrightsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longleftwavearrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\longleftsquigarrow}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longleftfootline}{arrows}{\mathrel} + \fdsy@DeclareAlias{\vlongdash}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\longrightfootline}{arrows}{\mathrel} + \fdsy@DeclareAlias{\longdashv}{arrows}{\mathrel} \fdsy@DeclareSymbol{\Lsh}{arrows}{\mathrel} \fdsy@DeclareSymbol{\Rsh}{arrows}{\mathrel} \fdsy@DeclareSymbol{\Ldsh}{arrows}{\mathrel} @@ -2467,27 +2513,48 @@ \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@DeclareAlias{\bot}{arrows}{\mathord} \fdsy@DeclareSymbol{\leftvdash}{arrows}{\mathrel} \fdsy@DeclareAlias{\dashv}{arrows}{\mathrel} \fdsy@DeclareSymbol{\downvdash}{arrows}{\mathrel} + \fdsy@DeclareAlias{\top}{arrows}{\mathord} +\fdsy@DeclareSymbol{\rightassert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\assert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\shortrighttack}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\upassert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\shortuptack}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\leftassert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\shortlefttack}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\downassert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\shortdowntack}{arrows}{\mathrel} \fdsy@DeclareSymbol{\rightvDash}{arrows}{\mathrel} \fdsy@DeclareAlias{\vDash}{arrows}{\mathrel} - \fdsy@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{\rightmodels}{arrows}{\mathrel} + \fdsy@DeclareAlias{\models}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\upmodels}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\leftmodels}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\downmodels}{arrows}{\mathrel} \fdsy@DeclareSymbol{\rightVdash}{arrows}{\mathrel} \fdsy@DeclareAlias{\Vdash}{arrows}{\mathrel} \fdsy@DeclareSymbol{\upVdash}{arrows}{\mathrel} \fdsy@DeclareSymbol{\leftVdash}{arrows}{\mathrel} \fdsy@DeclareAlias{\dashV}{arrows}{\mathrel} \fdsy@DeclareSymbol{\downVdash}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\rightAssert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\Assert}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\upAssert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\vBar}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\leftAssert}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\downAssert}{arrows}{\mathrel} + \fdsy@DeclareAlias{\Barv}{arrows}{\mathrel} \fdsy@DeclareSymbol{\rightVDash}{arrows}{\mathrel} \fdsy@DeclareAlias{\VDash}{arrows}{\mathrel} \fdsy@DeclareSymbol{\upVDash}{arrows}{\mathrel} @@ -2495,25 +2562,14 @@ \fdsy@DeclareAlias{\DashV}{arrows}{\mathrel} \fdsy@DeclareSymbol{\downVDash}{arrows}{\mathrel} \fdsy@DeclareSymbol{\Vvdash}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\dashVv}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\vDdash}{arrows}{\mathrel} +\fdsy@DeclareSymbol{\Ddashv}{arrows}{\mathrel} \DeclareRobustCommand{\relbar}{\mathrel{\smash-}} \DeclareRobustCommand{\Relbar}{\mathrel=} \let\joinrel\undefined \DeclareRobustCommand\joinrel{\mathrel{\mkern-4mu}} -\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} @@ -2568,32 +2624,34 @@ \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@DeclareSymbol{\nRightmapsto}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nMapsto}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nUpmapsto}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nMapsup}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nLeftmapsto}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nMapsfrom}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nDownmapsto}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nMapsdown}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhookrightarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhookuparrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarhookleftarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarhookdownarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarhooknearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhooknwarrow}{narrows}{\mathrel} \fdsy@DeclareAlias{\nhknwarrow}{narrows}{\mathrel} -\fdsy@DeclareSymbol{\nlhookswarrow}{narrows}{\mathrel} -\fdsy@DeclareSymbol{\nlhooksearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarhookswarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhooksearrow}{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@DeclareSymbol{\nvarhookrightarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarhookuparrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhookleftarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhookdownarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhooknearrow}{narrows}{\mathrel} \fdsy@DeclareAlias{\nhknearrow}{narrows}{\mathrel} -\fdsy@DeclareSymbol{\nrhooknwarrow}{narrows}{\mathrel} -\fdsy@DeclareSymbol{\nrhookswarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarhooknwarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nhookswarrow}{narrows}{\mathrel} \fdsy@DeclareAlias{\nhkswarrow}{narrows}{\mathrel} -\fdsy@DeclareSymbol{\nrhooksearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarhooksearrow}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nrightharpoonup}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nupharpoonleft}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nleftharpoondown}{narrows}{\mathrel} @@ -2652,6 +2710,13 @@ \fdsy@DeclareSymbol{\nupblackspoon}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nleftblackspoon}{narrows}{\mathrel} \fdsy@DeclareSymbol{\ndownblackspoon}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nleftrightspoon}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndualmap}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nleftrightblackspoon}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nblackwhitespoon}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nimageof}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nwhiteblackspoon}{narrows}{\mathrel} + \fdsy@DeclareAlias{\norigof}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nrightpitchfork}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nuppitchfork}{narrows}{\mathrel} \fdsy@DeclareAlias{\npitchfork}{narrows}{\mathrel} @@ -2673,57 +2738,95 @@ \fdsy@DeclareSymbol{\ndownuparrows}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nswnearrows}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nsenwarrows}{narrows}{\mathrel} -\fdsy@DeclareSymbol{\nrightlsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nrightwavearrow}{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{\nrightcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\nrightlsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarupwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nuplsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarleftwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nleftlsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ndownwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownlsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarrightwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nrightrsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nupwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nuprsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nleftwavearrow}{narrows}{\mathrel} \fdsy@DeclareAlias{\nleftsquigarrow}{narrows}{\mathrel} -\fdsy@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{\nleftcurvedarrow}{arrows}{\mathrel} + \fdsy@DeclareAlias{\nleftrsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvardownwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownrsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nleftrightwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nleftrightsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nupdownwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nupdownsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarleftrightwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nrightleftsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvarupdownwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownupsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwoverarcarrow}{narrows}{\mathrel} \fdsy@DeclareAlias{\ncurvearrowright}{narrows}{\mathrel} -\fdsy@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{\nrightlcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwleftarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nuplcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwunderarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nleftlcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwrightarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownlcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwnwarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nrightupcurvedarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nnelcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwswarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nupleftcurvedarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nnwlcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwsearcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nleftdowncurvedarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nswlcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ncwnearcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownrightcurvedarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nselcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwunderarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nrightrcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwrightarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nuprcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwoverarcarrow}{narrows}{\mathrel} \fdsy@DeclareAlias{\ncurvearrowleft}{narrows}{\mathrel} - \fdsy@DeclareAlias{\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@DeclareAlias{\nleftrcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwleftarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownrcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwsearcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nuprightcurvearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nnercurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwnearcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nleftupcurvedarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nnwrcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwnwarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownleftcurvedarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nswrcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nacwswarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nrightdowncurvedarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nsercurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdoverarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nleftrightcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdleftarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nupdowncurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdunderarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nrightleftcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdrightarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\ndownupcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdnwarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nneswcurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdswarcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nnwsecurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdsearcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nswnecurvearrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nbdnearcarrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nsenwcurvearrow}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nleftfootline}{narrows}{\mathrel} - \fdsy@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} @@ -2742,36 +2845,78 @@ \fdsy@DeclareSymbol{\nUuparrow}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nLleftarrow}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nDdownarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongrightarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongleftarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nLongrightarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nLongleftarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongleftrightarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nLongleftrightarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongmapsto}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongmapsfrom}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nLongmapsto}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nLongmapsfrom}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongrightwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nlongleadsto}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nlongrightsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongleftwavearrow}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nlongleftsquigarrow}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongleftfootline}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nvlongdash}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nlongrightfootline}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nlongdashv}{narrows}{\mathrel} \fdsy@setslot{224} \fdsy@DeclareSymbol{\nrightvdash}{narrows}{\mathrel} \fdsy@DeclareAlias{\nvdash}{narrows}{\mathrel} - \fdsy@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{\nrightassert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nassert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nshortrighttack}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nupassert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nshortuptack}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nleftassert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nshortlefttack}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ndownassert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nshortdowntack}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nrightvDash}{narrows}{\mathrel} \fdsy@DeclareAlias{\nvDash}{narrows}{\mathrel} - \fdsy@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{\nrightmodels}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nmodels}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nupmodels}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nleftmodels}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ndownmodels}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nrightVdash}{narrows}{\mathrel} \fdsy@DeclareAlias{\nVdash}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nupVdash}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nleftVdash}{narrows}{\mathrel} \fdsy@DeclareAlias{\ndashV}{narrows}{\mathrel} \fdsy@DeclareSymbol{\ndownVdash}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nrightAssert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nAssert}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nupAssert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nvBar}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nleftAssert}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ndownAssert}{narrows}{\mathrel} + \fdsy@DeclareAlias{\nBarv}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nrightVDash}{narrows}{\mathrel} \fdsy@DeclareAlias{\nVDash}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nupVDash}{narrows}{\mathrel} \fdsy@DeclareSymbol{\nleftVDash}{narrows}{\mathrel} \fdsy@DeclareAlias{\nDashV}{narrows}{\mathrel} \fdsy@DeclareSymbol{\ndownVDash}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nVvdash}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\ndashVv}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nvDdash}{narrows}{\mathrel} +\fdsy@DeclareSymbol{\nDdashv}{narrows}{\mathrel} % \end{macrocode} % FdSymbolE: large operators % \begin{macrocode} @@ -2800,14 +2945,6 @@ \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} @@ -2849,7 +2986,9 @@ \fdsy@DeclareSymbol{\tsum}{largesymbols}{\mathop} \fdsy@DeclareSymbol{\dsum}{largesymbols}{\mathop} \fdsy@DeclareSymbol{\tosum}{largesymbols}{\mathop} + \fdsy@DeclareAlias{\tmodtwosum}{largesymbols}{\mathop} \fdsy@DeclareSymbol{\dosum}{largesymbols}{\mathop} + \fdsy@DeclareAlias{\dmodtwosum}{largesymbols}{\mathop} \fdsy@DeclareSymbol{\tint}{largesymbols}{\mathop} \fdsy@DeclareSymbol{\dint}{largesymbols}{\mathop} \fdsy@DeclareSymbol{\tiint}{largesymbols}{\mathop} @@ -2940,6 +3079,7 @@ \fdsy@DeclareOperator{\bigoast}{\dbigoast}{\tbigoast} \fdsy@DeclareOperator{\sum}{\dsum}{\tsum} \fdsy@DeclareOperator{\osum}{\dosum}{\tosum} +\fdsy@DeclareOperator{\modtwosum}{\dmodtwosum}{\tmodtwosum} \fdsy@DeclareOperator{\prod}{\dprod}{\tprod} \fdsy@DeclareOperator{\coprod}{\dcoprod}{\tcoprod} \fdsy@DeclareIntegral{\iint}{\diint}{\tiint} @@ -3140,7 +3280,9 @@ \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\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} @@ -3149,8 +3291,12 @@ \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{\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@}} @@ -3179,11 +3325,11 @@ % \begin{macrocode} \DeclareMathSymbol{+}{\mathbin}{symbols}{"11} \DeclareMathSymbol{-}{\mathbin}{symbols}{"0E} -\DeclareMathSymbol{*}{\mathbin}{symbols}{"93} +\DeclareMathSymbol{*}{\mathbin}{symbols}{"98} \DeclareMathSymbol{:}{\mathrel}{symbols}{"02} \DeclareMathSymbol{=}{\mathrel}{relations}{"00} -\DeclareMathSymbol{<}{\mathrel}{relations}{"22} -\DeclareMathSymbol{>}{\mathrel}{relations}{"23} +\DeclareMathSymbol{<}{\mathrel}{relations}{"24} +\DeclareMathSymbol{>}{\mathrel}{relations}{"25} \iffdsy@largedelims \DeclareMathSymbol{|}{\mathord}{delimiters}{"B6} \DeclareMathSymbol{(}{\mathopen}{delimiters}{"01} @@ -3209,22 +3355,5 @@ %</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 index a936394897c..dcfb74b68bf 100644 --- a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins +++ b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins @@ -14,15 +14,13 @@ % 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. +% and the derived files fdsymbol.pdf and 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 @@ -38,7 +36,7 @@ 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. +and the derived files fdsymbol.pdf and fdsymbol.sty. \endpreamble @@ -46,7 +44,7 @@ and the derived file fdsymbol.sty. \endpostamble \keepsilent -\askforoverwritetrue +\askforoverwritefalse \generate{% \file{fdsymbol.sty}{\from{fdsymbol.dtx}{style}} |