diff options
Diffstat (limited to 'Master/texmf-dist/tex/generic/pdfmsym')
-rw-r--r-- | Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex | 314 |
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 |