%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%              pdfMsym               %
%      PDF Math Symbols Package      %
%         Slurp March, 2023          %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\edef\strudelccode{\the\catcode`\@}
\catcode`\@=11

\def\pdfMsym{{\scten pdf}{\rm M}{\scten sym}}
\def\pdfMsymversion{1.1.1}
\def\pdfMsymupdate{March 16, 2023}

\ifx\@gobble\undefined
    \long\def\@gobble#1{}
\fi

\def\m@strip{\expandafter\@gobble\string}

\ifx\@ifnextchar\undefined
    \def\@@ifnextchar{%
        \ifx\@reg@D\@reg@A %
            \expandafter\@reg@B%
        \else%
            \expandafter\@reg@C%
        \fi%
    }

    \long\def\@ifnextchar#1#2#3{%
        \let\@reg@A=#1\relax\def\@reg@B{#2}\def\@reg@C{#3}%
        \futurelet\@reg@D\@@ifnextchar%
    }
\fi

\ifx\@firstoftwo\undefined
    \long\def\@firstoftwo#1#2{#1}
    \long\def\@secondoftwo#1#2{#2}
\fi

\long\def\pdfmsym@afterfi#1#2\fi{\fi#1}

\def\pdfmsym@repeated#1#2{%
    \ifnum#1>0 %
        \pdfmsym@afterfi{#2\expandafter\pdfmsym@repeated\expandafter{\the\numexpr #1-1\relax}{#2}}%
    \fi%
}

\begingroup\lccode`\?=`\p \lccode`\!=`\t %
\lowercase{\endgroup
\def\@ignorept#1.#2?!{\ifnum#2=0 #1\else \ifnum#1=0 \expandafter\@remzero\fi#1.#2\fi}}
\def\@remzero#10{#1}
\def\@nopt#1{\expandafter\@ignorept\the\dimexpr #1\relax}

\def\pdf@literal#1{\special{pdf: #1}}

\unless\ifx\saveboxresource\undefined
    \let\pdfxform=\saveboxresource
    \let\pdfrefxform=\useboxresource
    \let\pdflastxform=\lastsavedboxresourceindex
\fi

\def\@normtrans/{0.996264 0 0 0.996264 0 0 cm}
\def\pdfmsymsettransforms{%
    \edef\@pdfmsym@ytrans/{0.996264 0 0 \@nopt{0.996264pt * \@font@scale} 0 0 cm}%
    \edef\@pdfmsym@trans/{\@nopt{0.996264pt * \@font@scale} 0 0 \@nopt{0.996264pt * \@font@scale} 0 0 cm}%
}

\def\pdfmsymsetscalefactor#1{%
    \edef\@font@scale{#1 / 10}%
    \pdfmsymsettransforms%
    \math@sym@defs%
}

\def\@@linehead@type#1#2#3#4[#5][#6]{\hbox to \dimexpr #4pt * #5 * \@font@scale\relax{%
    \pdf@literal{%
        q \@pdfmsym@trans/
        0 #6 0 0 #6 0 0 cm
        0 1 0 0 1 0 #2 cm
        1 j 1 J #1 w
        #3 Q%
    }\hss}%
}
\def\@linehead@type#1#2#3#4{%
    \@ifnextchar[ {\@@linehead@type{#3}{#4}{#1}{#2}}%
                  {\@@linehead@type{#3}{#4}{#1}{#2}[1][1]}%
}

\def\@emptylinehead{\@linehead@type{}{0}}

\def\@rarrow {\@linehead@type{0 0 m 2 0 l 1 .2 0 1.2 0 1.5 c 2 0 m 1 -.2 0 -1.2 0 -1.5 c S}{2}}
\def\@larrow {\@linehead@type{2 0 m 0 0 l 1 .2 2 1.2 2 1.5 c 0 0 m 1 -.2 2 -1.2 2 -1.5 c S}{2}}
\def\@rharp  {\@linehead@type{0 0 m 2 0 l 1 .2 0 1.2 0 1.5 c S}{2}}
\def\@lharp  {\@linehead@type{2 0 m 0 0 l 1 .2 2 1.2 2 1.5 c S}{2}}
\def\@rdharp {\@linehead@type{0 0 m 2 0 l 1 -.2 0 -1.2 0 -1.5 c S}{2}}
\def\@ldharp {\@linehead@type{2 0 m 0 0 l 1 -.2 2 -1.2 2 -1.5 c S}{2}}
\def\@linecap{\@linehead@type{0 0 m 1 0 l S}{1}}
\def\@mapcap {\@linehead@type{0 1.5 m 0 -1.5 l 0 0 m 1 0 l S}{1}}
\def\@mapsfromcap {\@linehead@type{1 1.5 m 1 -1.5 l 1 0 m 0 0 l S}{1}}
\def\@rsarrow{\@linehead@type{0 0 m 2 0 l 0 1 l 2 0 m 0 -1 l S}{2}}
\def\@lsarrow{\@linehead@type{2 0 m 0 0 l 2 1 l 0 0 m 2 -1 l S}{2}}
\def\@backuphook{\@linehead@type{1 2 m .5 2 0 1.5 0 1 c 0 .5 .5 0 1 0 c S}{1}}
\def\@frontuphook{\@linehead@type{0 2 m .5 2 1 1.5 1 1 c 1 .5 .5 0 0 0 c S}{1}}
\def\@backdownhook{\@linehead@type{1 0 m .5 0 0 -.5 0 -1 c 0 -1.5 .5 -2 1 -2 c S}{1}}
\def\@frontdownhook{\@linehead@type{0 0 m .5 0 1 -.5 1 -1 c 1 -1.5 .5 -2 0 -2 c S}{1}}
\def\@doublerarrow{\@linehead@type{0 0 m 2 0 l 1 .2 0 1.2 0 1.5 c 2 0 m 1 -.2 0 -1.2 0 -1.5 c 2 0 m 4 0 l 3 .2 2 1.2 2 1.5 c 4 0 m 3 -.2 2 -1.2 2 -1.5 c S}{4}}
\def\@doublelarrow{\@linehead@type{4 0 m 2 0 l 3 .2 4 1.2 4 1.5 c 2 0 m 3 -.2 4 -1.2 4 -1.5 c 2 0 m 0 0 l 1 .2 2 1.2 2 1.5 c 0 0 m 1 -.2 2 -1.2 2 -1.5 c S}{4}}
\def\@circlecap{\@linehead@type{0 0 m 0 .5 .5 1 1 1 c 1.5 1 2 .5 2 0 c 2 -.5 1.5 -1 1 -1 c .5 -1 0 -.5 0 0 c S}{2}}

\def\@Rarrow    {\@linehead@type{0 -1 m 1 -1 l 0 1 m 1 1 l 3 0 m 1.5 .3 0 2 0 2.5 c 3 0 m 1.5 -.3 0 -2 0 -2.5 c S}{3}}
\def\@Larrow    {\@linehead@type{3 -1 m 2 -1 l 3 1 m 2 1 l 0 0 m 1.5 .3 3 2 3 2.5 c 0 0 m 1.5 -.3 3 -2 3 -2.5 c S}{3}}
\def\@Linecap   {\@linehead@type{0 -1 m 1 -1 l 0 1 m 1 1 l S}{1}}
\def\@Rightcirclecap{\@linehead@type{0 1 m .5 1 1 .5 1 0 c 1 -.5 .5 -1 0 -1 c S}{1}}
\def\@Leftcirclecap{\@linehead@type{1 1 m .5 1 0 .5 0 0 c 0 -.5 .5 -1 1 -1 c S}{1}}
\def\@Rightsquarecap{\@linehead@type{0 1 m 1 1 l 1 -1 l 0 -1 l S}{1}}
\def\@Leftsquarecap{\@linehead@type{1 1 m 0 1 l 0 -1 l 1 -1 l S}{1}}
\def\@Rightribboncap{\@linehead@type{0 1 m 2 1 l 0 0 l 2 -1 l 0 -1 l S}{2}}
\def\@Leftribboncap{\@linehead@type{1.5 1 m 0 1 l 1.5 0 l 0 -1 l 1.5 -1 l S}{1.5}}
\def\@BigLinecap{\@linehead@type{0 -1.5 m 1 -1.5 l 0 1.5 m 1 1.5 l S}{1}}
\def\@Rightarrows{\@linehead@type{0 -1.5 m 2 -1.5 l 1 -1.3 0 -.5 0 0 c 2 -1.5 m 1 -1.7 0 -2.5 0 -3 c 0 1.5 m 2 1.5 l 1 1.7 0 2.5 0 3 c 2 1.5 m 1 1.3 0 .5 0 0 c S}{2}}
\def\@Leftarrows {\@linehead@type{2 -1.5 m 0 -1.5 l 1 -1.3 2 -.5 2 0 c 0 -1.5 m 1 -1.7 2 -2.5 2 -3 c 2 1.5 m 0 1.5 l 1 1.7 2 2.5 2 3 c 0 1.5 m 1 1.3 2 .5 2 0 c S}{2}}
\def\@Rightunderarrow{\@linehead@type{0 -1.5 m 2 -1.5 l 1 -1.3 0 -.5 0 0 c 2 -1.5 m 1 -1.7 0 -2.5 0 -3 c 0 1.5 m 2 1.5 l S}{2}}
\def\@Leftunderarrow{\@linehead@type{2 -1.5 m 0 -1.5 l 1 -1.3 2 -.5 2 0 c 0 -1.5 m 1 -1.7 2 -2.5 2 -3 c 2 1.5 m 0 1.5 l S}{2}}
\def\@Rightoverarrow{\@linehead@type{0 1.5 m 2 1.5 l 1 1.7 0 2.5 0 3 c 2 1.5 m 1 1.3 0 .5 0 0 c 0 -1.5 m 2 -1.5 l S}{2}}
\def\@Leftoverarrow{\@linehead@type{2 1.5 m 0 1.5 l 1 1.7 2 2.5 2 3 c 0 1.5 m 1 1.3 2 .5 2 0 c 2 -1.5 m 0 -1.5 l S}{2}}
\def\@Circlescap{\@linehead@type{0 -1 m 0 -.5 .5 0 1 0 c 1.5 0 2 -.5 2 -1 c 2 -1.5 1.5 -2 1 -2 c .5 -2 0 -1.5 0 -1 c
    0 1 m 0 1.5 .5 2 1 2 c 1.5 2 2 1.5 2 1 c 2 .5 1.5 0 1 0 c .5 0 0 .5 0 1 c S}{2}}

\def\@TripleLinecap{\@linehead@type{0 -2 m 1 -2 l 0 0 m 1 0 l 0 2 m 1 2 l S}{1}}
\def\@TripleRarrow {\@linehead@type{0 -2 m .7 -2 l 0 0 m 3.5 0 l 0 2 m .7 2 l 3.5 0 m 2 .5 .5 2 .2 3.2 c 3.5 0 m 2 -.5 .5 -2 .2 -3.2 c S}{3.5}}
\def\@TripleLarrow {\@linehead@type{3.5 -2 m 2.8 -2 l 3.5 0 m 0 0 l 3.5 2 m 2.8 2 l 0 0 m 1.5 .5 3 2 3.3 3.2 c 0 0 m 1.5 -.5 3 -2 3.3 -3.2 c S}{3.5}}

\def\vecc@w{.4} \def\vecc@hw{.2}  \def\vecc@skew{2.5}
\def\vecc@displaystyle@s{1}       \def\vecc@displaystyle@sf{1}
\def\vecc@textstyle@s{1}          \def\vecc@textstyle@sf{1}
\def\vecc@scriptstyle@s{.8}       \def\vecc@scriptstyle@sf{8 / 10}
\def\vecc@scriptscriptstyle@s{.6} \def\vecc@scriptscriptstyle@sf{6 / 10}
\def\vecc@skip{.4}

%\def\@@@vecc@type#1#2#3#4#5{%
%    \mathord{\mathop{\kern\z@#1}\limits^{%
%    \mkern\vecc@skew mu%
%    #2{\vecc@w}{\vecc@hw}[#4][#5]%
%    \cleaders\hrule height \dimexpr \vecc@w pt * #4 * \@font@scale\relax\hfill%
%    #3{\vecc@w}{\vecc@hw}[#4][#5]%
%    \mkern\vecc@skew mu}%
%}}

\def\@@@vecc@type#1#2#3#4#5#6{%
    \vbox{\offinterlineskip%
        \ialign{##\cr
            $\m@th\mkern\vecc@skew mu%
            #2{\vecc@w}{\vecc@hw}[#4][#5]%
            \cleaders\hrule height \dimexpr \vecc@w pt * #4 * \@font@scale\relax\hfill%
            #3{\vecc@w}{\vecc@hw}[#4][#5]%
            \mkern\vecc@skew mu$\cr\noalign{\kern\dimexpr\vecc@skip ex * #4\relax}%%
            $\m@th#6#1$\cr%
       }%
    }%
}

\def\@@vecc@type#1#2{\@@@vecc@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}
\def\@vecc@type#1#2#3{\mathpalette\@@vecc@type{{#1}{#2}{#3}}}

\def\@@@undervecc@type#1#2#3#4#5#6{%
    \vtop{\offinterlineskip%
        \ialign{##\cr
            $\m@th#6#1$\cr\noalign{\kern\dimexpr\vecc@skip ex * #4\relax}%
            $\m@th\mkern\vecc@skew mu%
            #2{\vecc@w}{\vecc@hw}[#4][#5]%
            \cleaders\hrule height \dimexpr \vecc@w pt * #4 * \@font@scale\relax\hfill%
            #3{\vecc@w}{\vecc@hw}[#4][#5]%
            \mkern\vecc@skew mu$\cr%
       }%
    }%
}

\def\@@undervecc@type#1#2{\@@@undervecc@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}
\def\@undervecc@type#1#2#3{\mathpalette\@@undervecc@type{{#1}{#2}{#3}}}

\def\@vecc@def#1#2#3{%
    \expandafter\def\csname #1\endcsname##1{\@vecc@type{##1}{#2}{#3}}%
    \expandafter\def\csname short#1\endcsname##1{{\def\vecc@skew{0}\csname #1\endcsname{##1}}}%
}

\def\@undervecc@def#1#2#3{%
    \expandafter\def\csname #1\endcsname##1{\@undervecc@type{##1}{#2}{#3}}%
    \expandafter\def\csname short#1\endcsname##1{{\def\vecc@skew{0}\csname #1\endcsname{##1}}}%
}

\def\@overunder@def#1#2#3{\@vecc@def{over#1}{#2}{#3}\@undervecc@def{under#1}{#2}{#3}}

\@vecc@def{vecc}\@linecap\@rarrow
\@vecc@def{lvecc}\@larrow\@linecap
\@vecc@def{straightvecc}\@linecap\@rsarrow
\@vecc@def{straightlvecc}\@lsarrow\@linecap
\@undervecc@def{undervecc}\@linecap\@rarrow
\@undervecc@def{underlvecc}\@larrow\@linecap
\@undervecc@def{understraightvecc}\@linecap\@rsarrow
\@undervecc@def{understraightlvecc}\@lsarrow\@linecap

\@overunder@def{rightharp}\@linecap\@rharp
\@overunder@def{leftharp}\@lharp\@linecap
\@overunder@def{leftrightvecc}\@larrow\@rarrow
\@overunder@def{leftrightharp}\@lharp\@rdharp
\@overunder@def{rightleftharp}\@ldharp\@rharp

\unless\ifx\pdfxform\undefined 
    \def\@@constvec#1#2#3{{%
        \setbox1=\hbox{$\m@th#1#3$}%
        \setbox0=\hbox{$\m@th#1\smash{#3}\vrule height1.3ex width0pt depth\dimexpr\dp1+1pt\relax$}%
        \pdfxform0%
        #2{\smash{\pdfrefxform\pdflastxform}\vphantom{x}}%
    }}
    \def\@constvec#1#2{\@@constvec#1#2}
    \def\constvec#1#2{\mathpalette\@constvec{{#1}{#2}}}
\fi

\def\arrow@skip{\mkern1mu}
\def\xarrow@buffer{1}
\def\@@@xarrow@type#1#2#3#4#5#6#7{\mathrel{\arrow@skip%
    \vcenter{\hbox{$\m@th#7%
        #1{\vecc@w}{\vecc@hw}[#5][#6]%
        \vrule width\dimexpr \xarrow@buffer pt * \@font@scale\relax height \dimexpr \vecc@w pt * #5 * \@font@scale\relax depth0pt%
        \smash{\mathord{\mathop{\kern\z@\leaders\hrule height \dimexpr \vecc@w pt * #5 * \@font@scale\relax\hfill}\limits^{#3}_{#4}}}%
        \vrule width\dimexpr \xarrow@buffer pt * \@font@scale\relax height \dimexpr \vecc@w pt * #5 * \@font@scale\relax depth0pt%
        #2{\vecc@w}{\vecc@hw}[#5][#6]%
    $}}%
    \vphantom{\mathop{-}^{#3}_{#4}}% Fix vertical spacing
    \arrow@skip%
}}

\def\@@xarrow@type#1#2{\@@@xarrow@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}
\def\@xarrow@type#1#2#3#4{\mathpalette\@@xarrow@type{{#1}{#2}{#3}{#4}}}

\def\@@@arrow@type#1#2#3#4#5#6{\mathrel{\arrow@skip%
    \vcenter{\hbox{$\m@th#6%
        #1{\vecc@w}{\vecc@hw}[#4][#5]%
        \vrule width \dimexpr #3pt * #4 * \@font@scale\relax height \dimexpr \vecc@w pt * #4 * \@font@scale\relax depth 0pt%
        #2{\vecc@w}{\vecc@hw}[#4][#5]%
    $}}\arrow@skip%
}}

\def\@@arrow@type#1#2{\@@@arrow@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}

\def\@arrow@type#1#2#3{\mathpalette\@@arrow@type{{#1}{#2}{#3}}}

\def\arrow@len{6}
\def\long@arrow@len{12}
\def\@arrow@def#1#2#3{%
    \expandafter\def\csname #1\endcsname{\@arrow@type{#2}{#3}{\arrow@len}}%
    \expandafter\def\csname long#1\endcsname{\@arrow@type{#2}{#3}{\long@arrow@len}}%
    \expandafter\def\csname @x#1\endcsname##1[##2]{\@xarrow@type{#2}{#3}{##1}{##2}}%
    \expandafter\def\csname x#1\endcsname##1{%
        \@ifnextchar[ {\csname @x#1\endcsname{##1}}%
                      {\csname @x#1\endcsname{##1}[]}%
    }%
}

\@arrow@def{varrightarrow}\@linecap\@rarrow
\@arrow@def{varleftarrow}\@larrow\@linecap
\@arrow@def{varrightharp}\@linecap\@rharp
\@arrow@def{varleftharp}\@lharp\@linecap
\@arrow@def{varleftrightarrow}\@larrow\@rarrow
\@arrow@def{varleftrightharp}\@lharp\@rdharp
\@arrow@def{varrightleftharp}\@ldharp\@rharp
\@arrow@def{varmapsto}\@mapcap\@rarrow
\@arrow@def{varmapsfrom}\@larrow\@mapsfromcap
\@arrow@def{varuphookrightarrow}\@backuphook\@rarrow
\@arrow@def{varuphookleftarrow}\@larrow\@frontuphook
\@arrow@def{vardownhookrightarrow}\@backdownhook\@rarrow
\@arrow@def{vardownhookleftarrow}\@larrow\@frontdownhook
\@arrow@def{vardoublerightarrow}\@linecap\@doublerarrow
\@arrow@def{vardoubleleftarrow}\@doublelarrow\@linecap
\@arrow@def{varcirclerightarrow}\@circlecap\@rarrow
\@arrow@def{varcircleleftarrow}\@larrow\@circlecap

\def\@subscriptconvdef#1#2{\expandafter\let\csname \m@strip#1@subconv\endcsname=#2}
\def\@subscriptconv#1{\csname \m@strip#1@subconv\endcsname}
\@subscriptconvdef\displaystyle\scriptstyle
\@subscriptconvdef\textstyle\scriptstyle
\@subscriptconvdef\scriptstyle\scriptscriptstyle
\@subscriptconvdef\scriptscriptstyle\scriptscriptstyle

\def\@@Arrow@rule#1#2#3{%
    \lower\dimexpr #2 * #3 * \@font@scale\relax
    \vbox{%
        \hrule width #1 height \dimexpr \vecc@w pt * #3 * \@font@scale\relax depth 0pt%
        \kern\dimexpr #2 * #3 * \@font@scale * 2 - \vecc@w pt * #3 * \@font@scale\relax%
        \hrule width #1 height \dimexpr \vecc@w pt * #3 * \@font@scale\relax depth 0pt%
    }%
}

% #1 width #2 bar height difference #3 mathstyle scale (fraction)
\def\@Arrow@rule#1#2#3{%
    \@@Arrow@rule{\dimexpr #1pt * #3 * \@font@scale\relax}{#2}{#3}%
}

% #1 left cap
% #2 right cap
% #3 bar displacement
% #4 top material
% #5 bottom material
% #6 mathstyle scale (fraction)
% #7 mathstyle scale (decimal)
% #8 mathstyle
\def\@@@xArrow@type#1#2#3#4#5#6#7#8{\mathrel{\arrow@skip%
    {\setbox0=\hbox{$\m@th#8-$}\raise.5\dimexpr\ht0-\dp0-(\vecc@w pt * #6 * \@font@scale)\relax\hbox{$\m@th#8%
        \setbox0=\hbox{$\m@th\@subscriptconv#8#5$}%
        #1{\vecc@w}{\vecc@hw}[#6][#7]%
        \@Arrow@rule{\xarrow@buffer}{#3 pt}{#6}%
        \lower\dimexpr (#3 pt + \vecc@skip ex) * #6 * \@font@scale+\ht0\relax
        \vbox{\offinterlineskip%
            \ialign{\hfil##\hfil\cr
                $\m@th\@subscriptconv#8#4$\cr\noalign{\kern\dimexpr\vecc@skip ex * #6 * \@font@scale\relax}%
                \leaders\hrule height \dimexpr \vecc@w pt * #6 * \@font@scale\relax\hfill\cr%
                \noalign{\kern\dimexpr #3 pt * #6 * \@font@scale * 2 - \vecc@w pt * #6 * \@font@scale\relax}%
                \leaders\hrule height \dimexpr \vecc@w pt * #6 * \@font@scale\relax\hfill\cr\noalign{\kern\dimexpr\vecc@skip ex * #6 * \@font@scale\relax}%
                $\m@th\@subscriptconv#8#5$\cr%
            }%
        }%
        \@Arrow@rule{\xarrow@buffer}{#3 pt}{#6}%
        #2{\vecc@w}{\vecc@hw}[#6][#7]%
    $}}%
    \arrow@skip%
}}

\def\@@xArrow@type#1#2{\@@@xArrow@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}
\def\@xArrow@type#1#2#3#4#5{\mathpalette\@@xArrow@type{{#1}{#2}{#3}{#4}{#5}}}

\def\@@@Arrow@type#1#2#3#4#5#6#7{\mathrel{\arrow@skip%
    \vcenter{\hbox{$\m@th#7%
        #1{\vecc@w}{\vecc@hw}[#5][#6]%
        \@Arrow@rule{#3}{#4pt}{#5}%
        #2{\vecc@w}{\vecc@hw}[#5][#6]%
    $}}\arrow@skip%
}}

\def\@@Arrow@type#1#2{\@@@Arrow@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}
\def\@Arrow@type#1#2#3#4{\mathpalette\@@Arrow@type{{#1}{#2}{#3}{#4}}}

\def\Arrow@len{5}
\def\long@Arrow@len{9}
\def\@Arrow@def#1#2#3#4{%
    \expandafter\def\csname #1\endcsname{\@Arrow@type{#2}{#3}{\Arrow@len}{#4}}%
    \expandafter\def\csname long#1\endcsname{\@Arrow@type{#2}{#3}{\long@Arrow@len}{#4}}%
    \expandafter\def\csname @x#1\endcsname##1[##2]{\@xArrow@type{#2}{#3}{#4}{##1}{##2}}%
    \expandafter\def\csname x#1\endcsname##1{%
        \@ifnextchar[ {\csname @x#1\endcsname{##1}}%
                      {\csname @x#1\endcsname{##1}[]}%
    }%
}

\@Arrow@def{varRightarrow}\@Linecap\@Rarrow{1}
\@Arrow@def{varLeftarrow}\@Larrow\@Linecap{1}
\@Arrow@def{varCirclerightarrow}\@Leftcirclecap\@Rarrow{1}
\@Arrow@def{varCircleleftarrow}\@Larrow\@Rightcirclecap{1}
\@Arrow@def{varSquarerightarrow}\@Leftsquarecap\@Rarrow{1}
\@Arrow@def{varSquareleftarrow}\@Larrow\@Rightsquarecap{1}
\@Arrow@def{varRibbonrightarrow}\@Leftribboncap\@Rarrow{1}
\@Arrow@def{varRibbonleftarrow}\@Larrow\@Rightribboncap{1}
\@Arrow@def{roundedarrow}\@Leftcirclecap\@Rightcirclecap{1}
\@Arrow@def{squaredarrow}\@Leftsquarecap\@Rightsquarecap{1}
\@Arrow@def{varrightarrows}\@BigLinecap\@Rightarrows{1.5}
\@Arrow@def{varleftarrows}\@Leftarrows\@BigLinecap{1.5}
\@Arrow@def{varrightleftarrows}\@Leftunderarrow\@Rightoverarrow{1.5}
\@Arrow@def{varleftrightarrows}\@Leftoverarrow\@Rightunderarrow{1.5}
\@Arrow@def{rightPP}\@Circlescap\@Rightcirclecap{1}
\@Arrow@def{leftPP}\@Leftcirclecap\@Circlescap{1}

% #1 number of rules #2 width #3 bar height difference #4 mathstyle scale (fraction)
\def\@multi@Arrow@rule#1#2#3#4{%
    \lower\dimexpr #3 * #4 * \@font@scale * (#1 - 1)\relax
    \vbox{%
        \pdfmsym@repeated{\numexpr #1 - 1\relax}{%
            \hrule width \dimexpr #2pt * #4 * \@font@scale\relax height \dimexpr \vecc@w pt * #4 * \@font@scale\relax depth\z@%
            \kern\dimexpr #3 * #4 * \@font@scale * 2 - \vecc@w pt * #4 * \@font@scale\relax%
        }%
        \hrule width \dimexpr #2pt * #4 * \@font@scale\relax height \dimexpr \vecc@w pt * #4 * \@font@scale\relax depth\z@%
    }%
}

% #1 number rules
% #2 left cap
% #3 right cap
% #4 bar displacement
% #5 top material
% #6 bottom material
% #7 mathstyle scale (fraction)
% #8 mathstyle scale (decimal)
% #9 mathstyle
\def\@@@multi@xArrow@type#1#2#3#4#5#6#7#8#9{\mathrel{\arrow@skip%
    {\setbox0=\hbox{$\m@th#9-$}\raise.5\dimexpr\ht0-\dp0-(\vecc@w pt * #7 * \@font@scale)\relax%
    \hbox{$\m@th#9%
        \setbox0=\hbox{$\m@th\@subscriptconv#9#6$}%
        #2{\vecc@w}{\vecc@hw}[#7][#8]%
        \@multi@Arrow@rule{#1}{\xarrow@buffer}{#4pt}{#7}%
        \lower\dimexpr (#4pt * (#1 - 1) + \vecc@skip ex) * #7 * \@font@scale +\ht0\relax
        \vbox{\offinterlineskip%
            \ialign{\hfil##\hfil\cr%
                $\m@th\@subscriptconv#9#5$\cr%
                \noalign{\kern\dimexpr\vecc@skip ex * #7 * \@font@scale\relax}%
                \pdfmsym@repeated{\numexpr #1-1\relax}{%
                    \leaders\hrule height \dimexpr \vecc@w pt * #7 * \@font@scale\relax\hfill\cr%
                    \noalign{\kern\dimexpr #4pt * #7 * \@font@scale * 2 - \vecc@w pt * #7 * \@font@scale\relax}%
                }%
                \leaders\hrule height \dimexpr \vecc@w pt * #7 * \@font@scale\relax\hfill\cr
                \noalign{\kern\dimexpr\vecc@skip ex * #7 * \@font@scale\relax}%
                $\m@th\@subscriptconv#9#6$\cr%
            }%
        }%
        \@multi@Arrow@rule{#1}{\xarrow@buffer}{#4pt}{#7}%
        #3{\vecc@w}{\vecc@hw}[#7][#8]%
    $}}%
    \arrow@skip%
}}

\def\@@multi@xArrow@type#1#2{\@@@multi@xArrow@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}
\def\@multi@xArrow@type#1#2#3#4#5#6{\mathpalette\@@multi@xArrow@type{{#1}{#2}{#3}{#4}{#5}{#6}}}

\def\@@@multi@Arrow@type#1#2#3#4#5#6#7#8{\mathrel{\arrow@skip%
    \vcenter{\hbox{$\m@th#8%
        #2{\vecc@w}{\vecc@hw}[#6][#7]%
        \@multi@Arrow@rule{#1}{#4}{#5pt}{#6}%
        #3{\vecc@w}{\vecc@hw}[#6][#7]%
    $}}\arrow@skip%
}}


\def\@@multi@Arrow@type#1#2{\@@@multi@Arrow@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}{#1}}
% #1 number of rules #2 left cap #3 right cap #4 length #5 bar height difference
\def\@multi@Arrow@type#1#2#3#4#5{\mathpalette\@@multi@Arrow@type{{#1}{#2}{#3}{#4}{#5}}}

% #1 name #2 number of rules #3 left cap #4 right cap #5 height difference
\def\@multi@Arrow@def#1#2#3#4#5{%
    \expandafter\def\csname #1\endcsname{\@multi@Arrow@type{#2}{#3}{#4}{\Arrow@len}{#5}}%
    \expandafter\def\csname long#1\endcsname{\@multi@Arrow@type{#2}{#3}{#4}{\long@Arrow@len}{#5}}%
    \expandafter\def\csname @x#1\endcsname##1[##2]{\@multi@xArrow@type{#2}{#3}{#4}{#5}{##1}{##2}}%
    \expandafter\def\csname x#1\endcsname##1{%
        \@ifnextchar[ {\csname @x#1\endcsname{##1}}%
                      {\csname @x#1\endcsname{##1}[]}%
    }%
}

\@multi@Arrow@def{varRrightarrow}{3}\@TripleLinecap\@TripleRarrow{1}
\@multi@Arrow@def{varLleftarrow}{3}\@TripleLarrow\@TripleLinecap{1}
\@multi@Arrow@def{varLleftRrightarrow}{3}\@TripleLarrow\@TripleRarrow{1}

\def\accent@skew{.4}
\def\accent@raise{.25}
\def\@@@wide@accent#1#2#3{{%
    \setbox0=\hbox{$\m@th#3#1$}%
    \vbox{\offinterlineskip%
        \ialign{##\cr
            \hbox to \wd0{\hskip\dimexpr \accent@skew ex * \@font@scale\relax%
                \pdf@literal{%
                    q \@pdfmsym@ytrans/
                    \@nopt{\wd0 - \accent@skew ex * \@font@scale} 0 0 1 0 -.5 cm
                    #2
                Q}%
                \hss%
            }\cr\noalign{\kern\accent@raise ex\relax}%
            \box0\cr%
        }%
    }%
}}


\def\@@wide@accent#1#2{\@@@wide@accent#2#1}
\def\@wide@accent#1#2{\mathpalette\@@wide@accent{{#2}{#1}}}

\def\varwidecheck{\@wide@accent{0 1.3 m .5 -.4 l 1 1.3 l 1 1.6 l .5 .3 l 0 1.6 l f}}
\def\varwidehat{\@wide@accent{0 0 m .5 .9 l 1 0 l 1 .3 l .5 1.6 l 0 .3 l f}}
\def\varwidetilde{\@wide@accent{0 0 m .25 1.5 .45 1.1 .5 1 c .55 .9 .75 0 1 1.5 c 1 1.75 l .75 .5 .55 1.4 .5 1.5 c .45 1.6 .25 2 0 .25 c f}}

\def\@skewedlim@op@done#1#2#3#4#5{#1^{\mkern-#2mu#4}_{\mkern-#3mu#5}}
\def\@skewedlim@op@supsub#1#2#3#4_#5{\@skewedlim@op@done{#1}{#2}{#3}{#4}{#5}}
\def\@skewedlim@op@subsup#1#2#3#4^#5{\@skewedlim@op@done{#1}{#2}{#3}{#5}{#4}}
\def\@skewedlim@op@sub#1#2#3#4#5{%
    \@ifnextchar^ {\@skewedlim@op@subsup{#1}{#2}{#3}{#5}}%
                  {\@skewedlim@op@done{#1}{#2}{#3}{}{#5}}%
}
\def\@skewedlim@op@sup#1#2#3#4#5{%
    \@ifnextchar_ {\@skewedlim@op@supsub{#1}{#2}{#3}{#5}}%
                  {\@skewedlim@op@done{#1}{#2}{#3}{#5}{}}%
}
\def\@skewedlim@op@nsup#1#2#3{%
    \@ifnextchar_ {\@skewedlim@op@sub{#1}{#2}{#3}}%
                  {\@skewedlim@op@done{#1}{#2}{#3}{}{}}%
}
\def\@@skewedlim@op#1#2#3{%
    \@ifnextchar^ {\@skewedlim@op@sup{#1}{#2}{#3}}%
                  {\@skewedlim@op@nsup{#1}{#2}{#3}}%
}

\def\@skewedlim@op@limits{%
    \ifx\@skewedlim@char\nolimits%
        \pdfmsym@afterfi{\@@skewedlim@op{\@skewedlim@atom\nolimits}{\@skewedlim@nolim@supskew}{\@skewedlim@nolim@subskew}}%
    \else%
        \pdfmsym@afterfi{\ifx\@skewedlim@char\limits%
            \pdfmsym@afterfi{\@@skewedlim@op{\@skewedlim@atom\limits}{\@skewedlim@lim@supskew}{\@skewedlim@lim@subskew}}%
        \else%
            \pdfmsym@afterfi{\@@skewedlim@op{\@skewedlim@atom\@skewedlim@preflim}{\@skewedlim@preflim@supskew}{\@skewedlim@preflim@subskew}\@skewedlim@char}%
        \fi}%
    \fi%
}

\def\@skewedlim@op#1#2#3#4#5#6#7#8{%
    \def\@skewedlim@atom{#1}%
    \def\@skewedlim@nolim@supskew{#2}\def\@skewedlim@nolim@subskew{#3}%
    \def\@skewedlim@lim@supskew{#4}\def\@skewedlim@lim@subskew{#5}%
    \def\@skewedlim@preflim@supskew{#6}\def\@skewedlim@preflim@subskew{#7}%
    \def\@skewedlim@preflim{#8}%
    \afterassignment\@skewedlim@op@limits%
    \let\@skewedlim@char=%
}

\def\exsym@displaystyle@s{1}                \def\exsym@displaystyle@sf{1}
\def\exsym@textstyle@s{.7}                  \def\exsym@textstyle@sf{7 / 10}
\def\exsym@scriptstyle@s{.7}                \def\exsym@scriptstyle@sf{7 / 10}
\def\exsym@scriptscriptstyle@s{.6}          \def\exsym@scriptscriptstyle@sf{6 / 10}
% #1 main symbol
% #2 left cap
% #3 right cap
% #4 height difference
% #5 width skew
% #6 mathstyle scale (fraction)
% #7 mathstyle scale (decimal)
% #8 mathstyle
\def\@@putexsym#1#2#3#4#5#6#7#8{{%
    \setbox0=\hbox{$\m@th#8#1$}%
    \setbox1=\hbox{$\m@th#2{\vecc@w}{\vecc@hw}[#6][#7]$}%
    \kern\dimexpr\wd1 - #5 pt * #6 * \@font@scale\relax\rlap{$\m@th#8#1$}\kern-\dimexpr\wd1 - #5pt * #6 * \@font@scale\relax%
    \raise.5\dimexpr\ht0-\dp0\relax
    \vbox{\hbox{$\m@th#8#2{\vecc@w}{\vecc@hw}[#6][#7]\@@Arrow@rule{\dimexpr\wd0- #5 pt * #6 * \@font@scale * 2\relax}{#4 pt}{#6}#3{\vecc@w}{\vecc@hw}[#6][#7]$}}%
}}

\def\@putexsym#1#2{\@@putexsym#2{\csname exsym@\m@strip#1@sf\endcsname}{\csname exsym@\m@strip#1@s\endcsname}{#1}}
\def\putexsym#1#2#3#4#5{\mathpalette\@putexsym{{#1}{#2}{#3}{#4}{#5}}}

\def\@BigRightcirclecap{\@linehead@type{0 2.5 m 1 2.5 2 1.25 2 0 c 2 -1.25 1 -2.5 0 -2.5 c S}{2}}
\def\@BigLeftcirclecap{\@linehead@type {2 2.5 m 1 2.5 0 1.25 0 0 c 0 -1.25 1 -2.5 2 -2.5 c S}{2}}
\def\@BigRightsquarecap{\@linehead@type {0 2.5 m 1 2.5 l 1 -2.5 l 0 -2.5 l S}{1}}
\def\@BigLeftsquarecap{\@linehead@type{1 2.5 m 0 2.5 l 0 -2.5 l 1 -2.5 l S}{1}}
\def\@BigCirclescap{\@linehead@type{0 -2 m 0 -1 1 0 2 0 c 3 0 4 -1 4 -2 c 4 -3 3 -4 2 -4 c 1 -4 0 -3 0 -2 c
    0 2 m 0 3 1 4 2 4 c 3 4 4 3 4 2 c 4 1 3 0 2 0 c 1 0 0 1 0 2 c S}{4}}

\def\iNint@kern@{\mkern-10mu\mathchoice{\mkern-5mu}{}{}{}}
\def\@iNint#1{\pdfmsym@repeated{\numexpr #1-1\relax}{\int\iNint@kern@}\int}
\def\@oiNint#1{\putexsym{\@iNint{#1}}\@BigLeftcirclecap\@BigRightcirclecap{2.5}{4}}
\def\@biNint#1{\putexsym{\@iNint{#1}}\@BigLeftsquarecap\@BigRightsquarecap{2.5}{4}}

\def\oiNint#1{\@skewedlim@op{\mathop{\@oiNint{#1}}}{-4}{6}{-20}{20}{-4}{6}\nolimits}
\def\biNint#1{\@skewedlim@op{\mathop{\@biNint{#1}}}{-6}{6}{-20}{20}{-6}{6}\nolimits}
\def\iNint#1{\@skewedlim@op{\mathop{\@iNint{#1}}}{0}{0}{-20}{20}{0}{13}\nolimits}

\def\@@putsym#1#2#3{{\setbox0=\hbox{$\m@th#1#2$}\rlap{\hbox to \wd0{\hss$\m@th#1#3$\hss}}}}
\def\@putsym#1#2{\@@putsym#1#2}
\def\putsym#1#2{\mathpalette\@putsym{{#1}{#2}}\mathopen{}#1}

\def\aint{\mathop{}\mathclose{}\putsym\int-}
\def\dwedge{\mathbin{\putsym\wedge\cdot}}
\def\bigdwedge{\mathop{\putsym\bigwedge\cdot}}
\def\circwedge{\mathbin{\putsym\wedge\smallcircle}}
\def\bigcircwedge{\mathop{\putsym\bigwedge\smallcircle}}
\def\dcup{\mathbin{\putsym\cup\cdot}}
\def\bigdcup{\mathop{\putsym\bigcup\cdot}}

\long\def\@pdf@drawing@macro@def#1#2#3#4#5#6{%
    \hbox to \dimexpr#3 * \@font@scale\relax{\hskip\dimexpr#6 * \@font@scale\relax%
    \vrule width0pt height0pt depth\dimexpr#5 * \@font@scale\relax%
    \vbox to \dimexpr#4 * \@font@scale\relax{\vss\pdf@literal{q \@pdfmsym@trans/ #2 Q}}\hss}%
}

\unless\ifx\pdfxform\undefined 
    \long\def\pdf@drawing@macro@def#1#2#3#4#5#6{{%
        \setbox0=\@pdf@drawing@macro@def{#1}{#2}{#3}{#4}{#5}{#6}%
        \pdfxform0%
        \expandafter\xdef\csname @#1@xformno\endcsname{\the\pdflastxform}%
    }}

    \long\def\pdf@drawing@macro#1#2#3#4#5#6{%
        \pdf@drawing@macro@def{#1}{#2}{#3}{#4}{#5}{#6}%
        \expandafter\edef\csname #1\endcsname{\noexpand\leavevmode\noexpand\pdfrefxform\csname @#1@xformno\endcsname}%
    }

    \def\math@drawing@get#1#2{\expandafter\pdfrefxform\csname @#1@\m@strip#2@xformno\endcsname}
\else
    \long\def\pdf@drawing@macro#1#2#3#4#5#6{%
        \expandafter\def\csname #1\endcsname{\@pdf@drawing@macro@def{#1}{#2}{#3}{#4}{#5}{#6}}%
    }
    \let\pdf@drawing@macro@def=\pdf@drawing@macro

    \def\math@drawing@get#1#2{\csname #1@\m@strip#2\endcsname}
\fi

\long\def\pdf@drawing@math@macro#1#2#3#4#5#6#7#8#9{%
    \pdf@drawing@macro@def{#1@displaystyle}{#2}{#3}{#4}{#5}{#6}%
    \pdf@drawing@macro@def{#1@textstyle}
        {\@secondoftwo#7 0 0 \@secondoftwo#7 0 0 cm #2}
        {#3 * \@firstoftwo#7}
        {#4 * \@firstoftwo#7}
        {#5 * \@firstoftwo#7}
        {#6 * \@firstoftwo#7}%
    \pdf@drawing@macro@def{#1@scriptstyle}
        {\@secondoftwo#8 0 0 \@secondoftwo#8 0 0 cm #2}
        {#3 * \@firstoftwo#8}
        {#4 * \@firstoftwo#8}
        {#5 * \@firstoftwo#8}
        {#6 * \@firstoftwo#8}%
    \pdf@drawing@macro@def{#1@scriptscriptstyle}
        {\@secondoftwo#9 0 0 \@secondoftwo#9 0 0 cm #2}
        {#3 * \@firstoftwo#9}
        {#4 * \@firstoftwo#9}
        {#5 * \@firstoftwo#9}
        {#6 * \@firstoftwo#9}%
    \expandafter\def\csname @#1@\endcsname##1##2{\math@drawing@get{#1}{##1}}%
    \expandafter\def\csname #1\endcsname{\expandafter\mathpalette\csname @#1@\endcsname{}}%
    \expandafter\def\csname @center@#1@\endcsname##1##2{\vcenter{\hbox{\math@drawing@get{#1}{##1}}}}%
    \expandafter\def\csname center@#1\endcsname{\expandafter\mathpalette\csname @center@#1@\endcsname{}}%
}

\def\math@sym@defs{%
    \pdf@drawing@macro{lightning}
        {.86603 -.5 .5 .86603 0 0 cm
        1 J 1 j .6 w
        -3 10 m -3 4.133975 l 0 5.866025 l 0 0 l -1.125 1.5 l 0 0 l 1.125 1.5 l S}
        {4.2pt}{10.5pt}{.5pt}{.9pt}
%
    \pdf@drawing@macro{(m<3y)}
{.2 w 0 0 0 RG q 1 .75 0 rg 1 J 1 j 12.5 18 m  16 22 l  16.35 22.3 17 19
 17.5 13 c  7.5 18 m  4 22 l  3.65 22.3 3 19 2.5 13 c  B Q q 1 .5 .5 rg 1 J 1 j
 12.2 16.7 m  15.7 20.7 l  16.05 21 16.7 17.7 17.2 11.7 c  7.8 16.7 m  4.3 20.7
 l  3.95 21 3.3 17.7 2.8 11.7 c  f Q q 19.0 10 m 19.0 14.97063 14.97063 19.0 10
 19.0 c 5.02937 19.0 1.0 14.97063 1.0 10 c 1.0 5.02937 5.02937 1.0 10 1.0 c 14.97063 
1.0 19.0 5.02937 19.0 10 c  W n q 1 .75 0 rg 19.0 10 m 19.0 14.97063 14.97063 
19.0 10 19.0 c 5.02937 19.0 1.0 14.97063 1.0 10 c 1.0 5.02937 5.02937 1.0 
10 1.0 c 14.97063 1.0 19.0 5.02937 19.0 10 c  f Q q 1 1 1 rg 7.75 12 m 7.75 12.82843 
6.9665 13.5 6 13.5 c 5.0335 13.5 4.25 12.82843 4.25 12 c 4.25 11.17157 5.0335 
10.5 6 10.5 c 6.9665 10.5 7.75 11.17157 7.75 12 c  15.75 12 m 15.75 12.82843 
14.9665 13.5 14 13.5 c 13.0335 13.5 12.25 12.82843 12.25 12 c 12.25 11.17157
 13.0335 10.5 14 10.5 c 14.9665 10.5 15.75 11.17157 15.75 12 c  B Q q .3 .1 0 rg
7.4 12 m 7.4 12.7732 6.7732 13.4 6 13.4 c 5.2268 13.4 4.6 12.7732 4.6 12 c 4.6
11.2268 5.2268 10.6 6 10.6 c 6.7732 10.6 7.4 11.2268 7.4 12 c  15.4 12 m 15.4
 12.7732 14.7732 13.4 14 13.4 c 13.2268 13.4 12.6 12.7732 12.6 12 c 12.6 11.2268 
13.2268 10.6 14 10.6 c 14.7732 10.6 15.4 11.2268 15.4 12 c  B Q q 0 0 0 rg 7.2 
12 m 7.2 12.66273 6.66273 13.2 6 13.2 c 5.33727 13.2 4.8 12.66273 4.8 12 c 4.8 
11.33727 5.33727 10.8 6 10.8 c 6.66273 10.8 7.2 11.33727 7.2 12 c  15.2 12 m 
15.2 12.66273 14.66273 13.2 14 13.2 c 13.33727 13.2 12.8 12.66273 12.8 12 c 12.8 
11.33727 13.33727 10.8 14 10.8 c 14.66273 10.8 15.2 11.33727 15.2 12 c  f Q q
 1 1 1 rg 1 j 8 21 m 9.5 15 9.5 10 v  9.5 9 8 6.5 v  7 3.5 10 3.75 v  13 
3.5 12 6.5 v  10.5 9 10.5 10 v  10.5 15 12 21 v  B Q q 0 0 0 rg 12.3 6.5 m 12.3
 7.32843 11.27026 8.0 10 8.0 c 8.72974 8.0 7.7 7.32843 7.7 6.5 c 7.7 5.67157 8.72974 
5.0 10 5.0 c 11.27026 5.0 12.3 5.67157 12.3 6.5 c  B Q q 1 j 1 J 10 6.5 m
  10 4.5 l  9.5 4 9 4 8.3 4.2 c  10 4.5 m  10.5 4 11 4 11.7 4.2 c  S Q 8.5 10 m
  8 7 l  11.5 10 m  12 7 l  S Q 19.0 10 m 19.0 14.97063 14.97063 19.0 10 19.0 c
 5.02937 19.0 1.0 14.97063 1.0 10 c 1.0 5.02937 5.02937 1.0 10 1.0 c 14.97063 1.0 
19.0 5.02937 19.0 10 c  S q 1 1 1 rg 1 j 1 J 7 1.5 m  8 0 10 -2 v  11 0 13 1.5
v  11.5 1.2 10.5 1.2 10 1.2 c  7 1.5 m  8.5 1.2 9.5 1.2 10 1.2 c  B* Q}
        {20pt}{22.4pt}{2.30pt}{0pt}
%
    \pdf@drawing@math@macro{@ndivs}
        {0.4 w 1 j
        0 3 m 5 7 l s
        1.3 w
        2.5 1 0 .1 re
        2.5 5 0 .1 re
        2.5 9 0 .1 re B}
        {5.4pt}{10pt}{0pt}{.2pt}
        {{1}{1}}{{7 / 10}{.7}}{{11 / 20}{.55}}
    \def\ndivs{\mathrel{\@ndivs}}
%
    \pdf@drawing@math@macro{@divs}
        {1.3 w 1 j
        2.5 1 0 .1 re
        2.5 5 0 .1 re
        2.5 9 0 .1 re B}
        {5.4pt}{10pt}{0pt}{.2pt}
        {{1}{1}}{{7 / 10}{.7}}{{11 / 20}{.55}}
    \def\divs{\mathrel{\@divs}}

    \pdf@drawing@math@macro{@bigforall}
        {.8 w 1 J 1 j
        0 9.5 m 6 -4 l 12 9.5 l
        2.8 4 m 9.2 4 l S}
        {14pt}{10.8pt}{4.8pt}{1pt}
        {{7 / 10}{.7}}{{5 / 10}{.5}}{{35 / 100}{.35}}
    \def\bigforall{\mathop{\@bigforall}}

    \pdf@drawing@math@macro{@bigexists}
        {.8 w 1 J 1 j
        0 9.5 m 8 9.5 l 8 -4.5 l 0 -4.5 l
        1 2.5 m 7.9 2.5 l S}
        {10pt}{10.8pt}{4.8pt}{1pt}
        {{7 / 10}{.7}}{{5 / 10}{.5}}{{35 / 100}{.35}}
    \def\bigexists{\mathop{\@bigexists}}

    \pdf@drawing@math@macro{@smallcircle}
        {.3 w 0 .5 m 0 .75 .25 1 .5 1 c .75 1 1 .75 1 .5 c 1 .25 .75 0 .5 0 c .25 0 0 .25 0 .5 c S}
        {1.6pt}{1.6pt}{.3pt}{.3pt}
        {{1}{1}}{{7 / 10}{.7}}{{6 / 10}{.6}}
    \let\smallcircle=\center@@smallcircle
}

% Thanks to Plante for this macro (it is a generalized version of the one found in TeX Pearls 2006 by
% Bogusław Jackowski and Piotr Strzelczyk.
% https://www.gust.org.pl/projects/pearls/2006p/boguslaw-jackowski/bachotex2006-boguslaw-jackowski-pearl1.pdf
\unless\ifx\pdfxform\undefined
    \def\@@slice#1{%
        \pdfxform\csname #1\endcsname%
        \global\setbox\csname #1\endcsname=\hbox{\pdfrefxform\pdflastxform}%
    }

    \def\@inner@newbox{\alloc@ 4\box \chardef \insc@unt} % Non-outer \newbox

    \def\@slice#1#2#3#4{{%
        \setbox0=\hbox{#1}%
        \expandafter\@inner@newbox\csname #2@L\endcsname%
        \expandafter\@inner@newbox\csname #2@C\endcsname%
        \expandafter\@inner@newbox\csname #2@R\endcsname%
        \global\setbox\csname #2@L\endcsname=\hbox{\copy0 \kern\dimexpr #3\wd0 - \wd0\relax}%
        \global\setbox\csname #2@C\endcsname=\hbox{\kern-#3\wd0 \copy0 \kern\dimexpr #4\wd0 - \wd0\relax}%
        \global\setbox\csname #2@R\endcsname=\hbox{\kern-#4\wd0 \copy0}%
        \@@slice{#2@L}\@@slice{#2@C}\@@slice{#2@R}%
    }}

    \def\@show@slices#1{%
        \hbox{\copy\csname #1@L\endcsname\vrule width .1pt
        \copy\csname #1@C\endcsname\vrule width .1pt
        \copy\csname #1@R\endcsname}
    }

    \def\@wide@operator#1#2#3#4{%
        \@slice{$\m@th\displaystyle#2$}{#1}{#3}{#4}%
        \expandafter\def\csname #1\endcsname{%
            \mathop{\copy\csname #1@L\endcsname \xleaders\copy\csname #1@C\endcsname\hfill \copy\csname #1@R\endcsname}\limits%
        }%
    }

    \@wide@operator{suum}\sum{.52}{.6}
    \@wide@operator{prood}\prod{.48}{.52}
\fi

\catcode`\@=\strudelccode
