summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex')
-rw-r--r--Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex314
1 files changed, 287 insertions, 27 deletions
diff --git a/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex b/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex
index 732d9b1c6ac..f08317ac562 100644
--- a/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex
+++ b/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex
@@ -8,9 +8,12 @@
\catcode`\@=11
\def\pdfMsym{{\scten pdf}{\rm M}{\scten sym}}
-\def\pdfMsymversion{1.0.2}
+\def\pdfMsymversion{1.1.0}
+
+\ifx\@gobble\undefined
+ \long\def\@gobble#1{}
+\fi
-\def\@gobble#1{}
\def\m@strip{\expandafter\@gobble\string}
\ifx\@ifnextchar\undefined
@@ -28,8 +31,18 @@
}
\fi
-\def\@firstoftwo#1#2{#1}
-\def\@secondoftwo#1#2{#2}
+\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
@@ -71,8 +84,8 @@
{\@@linehead@type{#3}{#4}{#1}{#2}[1][1]}%
}
-\def\@rarrow {\@linehead@type{0 0 m 2 0 l 1 0 0 1 0 1.5 c 2 0 m 1 0 0 -1 0 -1.5 c S}{2}}
-\def\@larrow {\@linehead@type{2 0 m 0 0 l 1 0 2 1 2 1.5 c 0 0 m 1 0 2 -1 2 -1.5 c S}{2}}
+\def\@rarrow {\@linehead@type{0 0 m 2 0 l 1 0 0 1.2 0 1.5 c 2 0 m 1 0 0 -1.2 0 -1.5 c S}{2}}
+\def\@larrow {\@linehead@type{2 0 m 0 0 l 1 0 2 1.2 2 1.5 c 0 0 m 1 0 2 -1.2 2 -1.5 c S}{2}}
\def\@rharp {\@linehead@type{0 0 m 2 0 l 1 0 0 1 0 1.5 c S}{2}}
\def\@lharp {\@linehead@type{2 0 m 0 0 l 1 0 2 1 2 1.5 c S}{2}}
\def\@rdharp {\@linehead@type{0 0 m 2 0 l 1 0 0 -1 0 -1.5 c S}{2}}
@@ -81,44 +94,98 @@
\def\@mapcap {\@linehead@type{0 1.5 m 0 -1.5 l 0 0 m 1 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\@backhook{\@linehead@type{.5 1 m .25 1 0 .75 0 .5 c 0 .25 .25 0 .5 0 c S}{0.5}}
-\def\@fronthook{\@linehead@type{0 1 m .25 1 .5 .75 .5 .5 c .5 .25 .25 0 0 0 c S}{0.5}}
-\def\@doublerarrow{\@linehead@type{0 0 m 2 0 l 1 0 0 1 0 1.5 c 2 0 m 1 0 0 -1 0 -1.5 c 2 0 m 4 0 l 3 0 2 1 2 1.5 c 4 0 m 3 0 2 -1 2 -1.5 c S}{4}}
-\def\@doublelarrow{\@linehead@type{4 0 m 2 0 l 3 0 4 1 4 1.5 c 2 0 m 3 0 4 -1 4 -1.5 c 2 0 m 0 0 l 1 0 2 1 2 1.5 c 0 0 m 1 0 2 -1 2 -1.5 c S}{4}}
+\def\@backhook{\@linehead@type{1 2 m .5 2 0 1.5 0 1 c 0 .5 .5 0 1 0 c S}{1}}
+\def\@fronthook{\@linehead@type{0 2 m .5 2 1 1.5 1 1 c 1 .5 .5 0 0 0 c S}{1}}
+\def\@doublerarrow{\@linehead@type{0 0 m 2 0 l 1 0 0 1.2 0 1.5 c 2 0 m 1 0 0 -1.2 0 -1.5 c 2 0 m 4 0 l 3 0 2 1.2 2 1.5 c 4 0 m 3 0 2 -1.2 2 -1.5 c S}{4}}
+\def\@doublelarrow{\@linehead@type{4 0 m 2 0 l 3 0 4 1.2 4 1.5 c 2 0 m 3 0 4 -1.2 4 -1.5 c 2 0 m 0 0 l 1 0 2 1.2 2 1.5 c 0 0 m 1 0 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 0 0 2 0 2.5 c 3 0 m 1.5 0 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 0 3 2 3 2.5 c 0 0 m 1.5 0 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\@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\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#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{\@@@vecc@type#2{\csname vecc@\m@strip#1@sf\endcsname}{\csname vecc@\m@strip#1@s\endcsname}}
+\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{overrightharp}\@linecap\@rharp
-\@vecc@def{overleftharp}\@lharp\@linecap
-\@vecc@def{overleftrightvecc}\@larrow\@rarrow
-\@vecc@def{overleftrightharp}\@lharp\@rdharp
-\@vecc@def{overrightleftharp}\@ldharp\@rharp
\@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{{%
@@ -132,7 +199,7 @@
\fi
\def\arrow@skip{\mkern1mu}
-\def\xarrow@buffer{3}
+\def\xarrow@buffer{1}
\def\@@@xarrow@type#1#2#3#4#5#6#7{\mathrel{\arrow@skip%
\vcenter{\hbox{$#7%
#1{\vecc@w}{\vecc@hw}[#5][#6]%
@@ -185,6 +252,93 @@
\@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 #1 * #3\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{$#8-$}\raise.5\dimexpr\ht0-\dp0-(\vecc@w pt * #6 * \@font@scale)\relax\hbox{$#8%
+ \setbox0=\hbox{$\@subscriptconv#8#5$}%
+ #1{\vecc@w}{\vecc@hw}[#6][#7]%
+ \@Arrow@rule{\xarrow@buffer pt}{#3 pt}{#6}%
+ \lower\dimexpr (#3 pt + \vecc@skip ex) * #6 * \@font@scale+\ht0\relax
+ \vbox{\offinterlineskip%
+ \ialign{\hfil##\hfil\cr
+ $\@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}%
+ $\@subscriptconv#8#5$\cr%
+ }%
+ }%
+ \@Arrow@rule{\xarrow@buffer pt}{#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{$#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@def#1#2#3#4{%
+ \expandafter\def\csname #1\endcsname{\@Arrow@type{#2}{#3}{1ex}{#4}}%
+ \expandafter\def\csname long#1\endcsname{\@Arrow@type{#2}{#3}{2ex}{#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{rightPP}\@Circlescap\@Rightcirclecap{1}
+\@Arrow@def{leftPP}\@Leftcirclecap\@Circlescap{1}
+
\def\accent@skew{.4}
\def\accent@raise{.25}
\def\@@@wide@accent#1#2#3{{%
@@ -212,6 +366,86 @@
\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{$#8#1$}\kern-\dimexpr\wd1 - #5pt * #6 * \@font@scale\relax%
+ \raise.5\dimexpr\ht0-\dp0\relax
+ \vbox{\hbox{$#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}{-10}{10}{-4}{6}\nolimits}
+\def\biNint#1{\@skewedlim@op{\mathop{\@biNint{#1}}}{-6}{6}{-10}{10}{-6}{6}\nolimits}
+
\def\@@putsym#1#2#3{{\setbox0=\hbox{$#1#2$}\rlap{\hbox to \wd0{\hss$#1#3$\hss}}}}
\def\@putsym#1#2{\@@putsym#1#2}
\def\putsym#1#2{\mathpalette\@putsym{{#1}{#2}}\mathopen{}#1}
@@ -219,6 +453,8 @@
\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}}
@@ -271,7 +507,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 #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{%
@@ -300,6 +538,28 @@
{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