texlive[65324] Master/texmf-dist: pdfmsym (21dec22)
commits+karl at tug.org
commits+karl at tug.org
Wed Dec 21 21:48:01 CET 2022
Revision: 65324
http://tug.org/svn/texlive?view=revision&revision=65324
Author: karl
Date: 2022-12-21 21:48:01 +0100 (Wed, 21 Dec 2022)
Log Message:
-----------
pdfmsym (21dec22)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/generic/pdfmsym/README.md
trunk/Master/texmf-dist/doc/generic/pdfmsym/pdfmsym-doc.pdf
trunk/Master/texmf-dist/doc/generic/pdfmsym/pdfmsym-doc.tex
trunk/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex
Modified: trunk/Master/texmf-dist/doc/generic/pdfmsym/README.md
===================================================================
--- trunk/Master/texmf-dist/doc/generic/pdfmsym/README.md 2022-12-21 00:52:13 UTC (rev 65323)
+++ trunk/Master/texmf-dist/doc/generic/pdfmsym/README.md 2022-12-21 20:48:01 UTC (rev 65324)
@@ -1,10 +1,25 @@
# PDF Math Symbols - pdfMsym
-## version 1.0.2
+## version 1.1.0
+
The pdfMsym package provides mathematical symbols for PDF-dependent TeX compilers.
-Read the documentation (documentation.pdf) for more details.
+pdfMsym requires the font size in order to properly scale its symbols, so the following two lines must be added to your document in order to properly load it:
+
+ \input pdfmsym
+ \pdfmsymsetscalefactor{10}
+
+assuming you want to load the package at a 10pt font, you can change the 10 to whatever suits your needs.
+If you do not add the `\pdfmsymsetscalefactor` line, all of the macros which require pdf drawing won't work, as well as possibly some other macros.
+
+The pdfMsym package also provides a relatively easy-to-use interface for creating new symbols.
+Read the documentation (pdfmsym-doc.pdf) for more details.
+
The pdfMsym package is provided under the MIT license.
-Compile the documentation via `pdftex pdfsym-doc.tex`.
+Compile the documentation via `pdftex pdfmsym-doc.tex`.
The pdfMsym package was created and is maintained by Slurp who can be reached via email: slurper04 at gmail.com
Please report any bugs or issues with the package, doing so would be greatly appreciated.
+Suggestions for features to add to the package will also be greatly appreciated.
+
+Thank you for using pdfMsym,
+ - Slurp
Modified: trunk/Master/texmf-dist/doc/generic/pdfmsym/pdfmsym-doc.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/generic/pdfmsym/pdfmsym-doc.tex
===================================================================
--- trunk/Master/texmf-dist/doc/generic/pdfmsym/pdfmsym-doc.tex 2022-12-21 00:52:13 UTC (rev 65323)
+++ trunk/Master/texmf-dist/doc/generic/pdfmsym/pdfmsym-doc.tex 2022-12-21 20:48:01 UTC (rev 65324)
@@ -48,6 +48,7 @@
\catcode`\/=0%
\catcode`\$=12%
\catcode`\\=12%
+ \catcode`\#=12%
\catcode`\%=12 \setbox1=\hbox\bgroup}}
\def\endcode{%
\egroup\egroup%
@@ -98,15 +99,17 @@
}}
\def\showcasevecc#1#2#3{\hbox to\hsize{\hss\vbox{\tabskip=5pt\openup3\jot%
-\halign{\tt\hskip 1cm\string##\tabskip=0pt\hfil&\quad##\hfil&\quad\hfil##\tabskip=5pt\cr
+\halign{\tt\hskip 1cm\string##\tabskip=0pt\hfil&&\quad##\hfil&\quad\hfil##\tabskip=5pt\cr
\omit\tt\string#1: & \tt\string#1 & \tt\expandafter\string\csname short\m at strip#1\endcsname%
\cr\noalign{\kern3pt\hrule\kern3pt}
- \displaystyle & $\displaystyle #2$ & $\displaystyle #3$\cr
- \textstyle & $\textstyle #2$ & $\textstyle #3$\cr
- \scriptstyle & $\scriptstyle #2$ & $\scriptstyle #3$\cr
- \scriptscriptstyle & $\scriptscriptstyle #2$ & $\scriptscriptstyle #3$\cr}
+ \displaystyle & $\displaystyle #1{#2}$ & $\displaystyle \csname short\m at strip#1\endcsname{#3}$ \cr
+ \textstyle & $\textstyle #1{#2}$ & $\textstyle \csname short\m at strip#1\endcsname{#3}$ \cr
+ \scriptstyle & $\scriptstyle #1{#2}$ & $\scriptstyle \csname short\m at strip#1\endcsname{#3}$ \cr
+ \scriptscriptstyle & $\scriptscriptstyle #1{#2}$ & $\scriptscriptstyle \csname short\m at strip#1\endcsname{#3}$ \cr}
}\hss}\bigskip}
+\def\showcaseveccs#1#2#3#4{\showcasevecc{#1}{#3}{#4}\showcasevecc{#2}{#3}{#4}}
+
\def\showcasearrow#1#2#3#4{\hbox to\hsize{\hss\vbox{\tabskip=0pt\openup3\jot
\halign{\tt\hskip 1cm\string##\tabskip=0pt\hfil&\quad##\hfil&\quad\hfil##\hfil\quad&\quad\hfil##\tabskip=5pt\cr
\omit\tt\string#1: & \tt\string#1 & \tt\expandafter\string\csname long\m at strip#1\endcsname &
@@ -138,7 +141,7 @@
{\setbox0=\hbox{\fakebold{\pdfMsym}}\centerline{\hbox to8\wd0{\hfil\it version \pdfMsymversion}}}
\centerline{\it S. Lurp}
\centerline{\tt slurper04 at gmail.com}
-\centerline{\it December 15, 2022}
+\centerline{\it December 21, 2022}
\bigskip
\hbox to \hsize{\hfil\vbox{\hsize=.7\hsize
@@ -156,7 +159,7 @@
\hrule
}\hfil}
-\vfill\break
+\vfill\eject
\footline={\hfil\folio\hfil}
\section{An Introduction to \scalebox[2]{\fakebold\pdfMsym}}
@@ -163,13 +166,13 @@
The main motivator for creating \pdfMsym{} was \TeX's poor implementation of the \macroname\overrightarrow{} macro which many
times yields unsavory results.
-For example \icode \overrightarrow{\hbox{ABC}}/eicode{} yields:
+For example \icode \overrightarrow{\rm ABC}/eicode{} yields:
-$$ \overrightarrow{\hbox{ABC}} $$
+$$ \overrightarrow{\rm ABC} $$
As you can see, the arrow overlaps with the {\tt ABC} which is undesirable.
-This can be fixed by altering the \macroname\rightarrow{} macro, but I decided to make a more versatile alternative.
-The \pdfMsym{} alternative, \macroname\vecc{}, on the other hand yields:
+This can be fixed by altering the \macroname\rightarrow{} macro, but I decided to make a more versatile alternative:
+the \pdfMsym{} alternative \macroname\vecc{}:
$$ \vecc{\hbox{ABC}} $$
@@ -195,12 +198,22 @@
\subsection{Math Symbols}
{\tabskip=10pt plus 5pt minus 5pt\openup3\jot\halign to \hsize{{\hsize=.45\hsize#}\hfil&\hfil{\hsize=.45\hsize#}\cr
-\vbox{\showcase\dwedge{A\dwedge B}} & \vbox{\showcase\dcup{A\dcup B}}\cr
-\vbox{\showcase\bigdwedge{A\dwedge\bigdwedge_{n=1}^N B_n}} & \vbox{\showcase\bigdcup{A\dcup\bigdcup_{n=1}^N B_n}}\cr
-\noalign{\vfil\eject}
+\vbox{\showcase\dwedge{A\dwedge B}} & \vbox{\showcase\bigdwedge{A\dwedge\bigdwedge_{n=1}^N B_n}}\cr
+\vbox{\showcase\circwedge{A\circwedge B}} & \vbox{\showcase\bigcircwedge{A\circwedge\bigcircwedge_{k=1}^n A_k}}\cr
+\noalign{\vfill\eject}
+\vbox{\showcase\dcup{A\dcup B}} & \vbox{\showcase\bigdcup{A\dcup\bigdcup_{n=1}^N B_n}}\cr
\vbox{\showcase\aint{f(x) + \aint_a^b g(x)\, dx}} & \vbox{\showcase\divs{n\divs m}}\cr
-\vbox{\showcase\ndivs{n\ndivs m}} & \cr}}
+\vbox{\showcase\ndivs{n\ndivs m}} & \vbox{\showcase\bigforall{P: \bigforall_{x\in X}Q(x)}}\cr
+\vbox{\showcase\bigexists{P: \bigexists_{x\in X}Q(x)}} & \cr}}
+\bigskip
+\pdfMsym{} also provides arbitrary length closed loop integrals via
+\macrousage \oiNint{<N>} /emacrousage
+which creates an $N$ dimensional closed loop integral.
+Similarly \macroname\biNint{} creates a similar integral sign but rectangular instead of elliptical.
+
+\line{\hfil$\displaystyle{\textstyle\oiNint{3}_A^B}\quad\oiNint{3}_A^B\hfil\biNint{3}_{A}^{B}\quad{\textstyle\biNint{3}_A^B}$\hfil}
+
Additionally, \macroname\lightning{} is provided as a textmode command and renders \lightning.
\subsection{Vector Symbols}
@@ -209,16 +222,17 @@
The normal form is meant to cover longer material while the short form covers shorter material.
\bigskip
-\showcasevecc\vecc{\vecc{\hbox{ABC}}}{\shortvecc{a}}
-\showcasevecc\lvecc{\lvecc{\hbox{ABC}}}{\shortlvecc{a}}
-\showcasevecc\overrightharp{\overrightharp{\hbox{ABC}}}{\shortoverrightharp{a}}
+\showcaseveccs\vecc\undervecc{\rm ABC}a
+\showcasevecc\lvecc{\rm ABC}a
+\showcasevecc\underlvecc{\rm ABC}a
+\showcaseveccs\straightvecc\understraightvecc{\rm ABC}a
\vfill\eject
-\showcasevecc\overleftharp{\overleftharp{\hbox{ABC}}}{\shortoverleftharp{a}}
-\showcasevecc\oveleftrrightvecc{\overleftrightvecc{\hbox{ABC}}}{\shortoverleftrightvecc{a}}
-\showcasevecc\oveleftrrightharp{\overleftrightharp{\hbox{ABC}}}{\shortoverleftrightharp{a}}
-\showcasevecc\overrightleftharp{\overrightleftharp{\hbox{ABC}}}{\shortoverrightleftharp{a}}
-\showcasevecc\straightvecc{\straightvecc{\hbox{ABC}}}{\shortstraightvecc{a}}
-\showcasevecc\straightlvecc{\straightlvecc{\hbox{ABC}}}{\shortstraightlvecc{a}}
+\showcaseveccs\straightlvecc\understraightlvecc{\rm ABC}a
+\showcaseveccs\overrightharp\underrightharp{\rm ABC}a
+\showcaseveccs\overleftharp\underleftharp{\rm ABC}a
+\showcaseveccs\overleftrightvecc\underleftrightvecc{\rm ABC}a
+\showcaseveccs\overleftrightharp\underleftrightharp{\rm ABC}a
+\showcaseveccs\overrightleftharp\underrightleftharp{\rm ABC}a
\unless\ifx\pdfxform\undefined
The \macroname\constvec{} macro has the following usage:
@@ -241,7 +255,6 @@
\showcasearrow\varrightharp{A\varrightharp B}{A\longvarrightharp B}{A\xvarrightharp{ABC}[abc] B}
\showcasearrow\varleftharp{A\varleftharp B}{A\longvarleftharp B}{A\xvarleftharp{ABC}[abc] B}
\showcasearrow\varleftrightarrow{A\varleftrightarrow B}{A\longvarleftrightarrow B}{A\xvarleftrightarrow{ABC}[abc] B}
-\vfill\eject
\showcasearrow\varleftrightharp{A\varleftrightharp B}{A\longvarleftrightharp B}{A\xvarleftrightharp{ABC}[abc] B}
\showcasearrow\varrightleftharp{A\varrightleftharp B}{A\longvarrightleftharp B}{A\xvarrightleftharp{ABC}[abc] B}
\showcasearrow\varmapsto{A\varmapsto B}{A\longvarmapsto B}{A\xvarmapsto{ABC}[abc] B}
@@ -252,6 +265,22 @@
\showcasearrow\varcirclerightarrow{A\varcirclerightarrow B}{A\longvarcirclerightarrow B}{A\xvarcirclerightarrow{ABC}[abc] B}
\showcasearrow\varcircleleftarrow{A\varcircleleftarrow B}{A\longvarcircleleftarrow B}{A\xvarcircleleftarrow{ABC}[abc] B}
+As well as single-stroke arrows, \pdfMsym{} provides double stroke arrows which are analogous to single stroke arrows and have
+an identical usage.
+
+\bigskip
+\showcasearrow\varRightarrow{A\varRightarrow B}{A\longvarRightarrow B}{A\xvarRightarrow{ABC}[abc] B}
+\showcasearrow\varLeftarrow{A\varLeftarrow B}{A\longvarLeftarrow B}{A\xvarLeftarrow{ABC}[abc] B}
+\showcasearrow\varCirclerightarrow{A\varCirclerightarrow B}{A\longvarCirclerightarrow B}{A\xvarCirclerightarrow{ABC}[abc] B}
+\showcasearrow\varCircleleftarrow{A\varCircleleftarrow B}{A\longvarCircleleftarrow B}{A\xvarCircleleftarrow{ABC}[abc] B}
+\showcasearrow\varSquarerightarrow{A\varSquarerightarrow B}{A\longvarSquarerightarrow B}{A\xvarSquarerightarrow{ABC}[abc] B}
+\showcasearrow\varSquareleftarrow{A\varSquareleftarrow B}{A\longvarSquareleftarrow B}{A\xvarSquareleftarrow{ABC}[abc] B}
+\showcasearrow\varRibbonrightarrow{A\varRibbonrightarrow B}{A\longvarRibbonrightarrow B}{A\xvarRibbonrightarrow{ABC}[abc] B}
+\showcasearrow\varRibbonleftarrow{A\varRibbonleftarrow B}{A\longvarRibbonleftarrow B}{A\xvarRibbonleftarrow{ABC}[abc] B}
+\showcasearrow\squaredarrow{A\squaredarrow B}{A\longsquaredarrow B}{A\xsquaredarrow{ABC}[abc] B}
+\showcasearrow\roundedarrow{A\roundedarrow B}{A\longroundedarrow B}{A\xroundedarrow{ABC}[abc] B}
+
+\vfill\eject
\subsection{Wide Accents}
Wide accents provide variants to the commonly used accents like \macroname\widehat{} and \macroname\widetilde.
Unlike these accents, \pdfMsym's wide accents can grow arbitrarily large.
@@ -273,12 +302,14 @@
These are not available in \xetex.
\fi
-\vfill\eject
\section{Defining Your Own Symbols}
-\pdfMsym{} provides an interface for creating your own mathematical symbols through the use of \macroname\pdfliteral s.
-This interface requires prior knowledege of drawing with PDFs.
+The following section outlines the interface which \pdfMsym{} utilizes to create its symbols.
+Some of the macros require knowledge of {\scten pdf}'s native graphics operators, which is not explained here.
+For resources on that, consult Adobe's {\scten pdf} Reference, chapter $4$ (Graphics).
+\subsection{The Macros}
+
\macroexp{\@linehead at type{<pdf code>}{<width>}} This creates a ``linehead'' which is used to cap lines, like
\macroname\@rarrow{} ($\@rarrow{.4}{2.5}$).
{\it pdf code} is the actual code used to draw the symbol, and it should be noted that all necessary transformations to the
@@ -293,8 +324,11 @@
\def\@rarrow {\@linehead at 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}}
/endcode
-The predefine lineheads are
+The predefined lineheads are
\icode \@rarrow, \@larrow, \@rharp, \@lharp, \@rdharp, \@rlharp, \@mapcap, \@rsarrow, \@lsarrow, \@backhook, \@fronthook, \@doublerarrow, \@doublelarrow, /hfil/break\@circlecap/eicode.
+And the predefined double-stroked/wide lineheads are
+\icode \@Rarrow, \@Larrow, \@Linecap, \@Rightcirclecap, \@Leftcirclecap, \@Rightsquarecap, \@Leftsquarecap, \@Rightribboncap,
+/hfil/break\@Leftribboncap/eicode.
\emacroexp
\macroexp{\@vecc at def{<vector name>}<left cap><right cap>} This creates a vector macro, like \macroname\vecc.
@@ -305,6 +339,14 @@
/endcode
\emacroexp
+\macroexp{\@undervecc at def{<vector name>}<left cap><right cap>} This creates an under-vector macro, like \macroname\undervecc.
+This creates both the normal and short variations of the vector.
+For example, the definition of the {\tt undervecc} vectors is:
+\begincode
+\@undervecc at def{undervecc}\@linecap\@rarrow
+/endcode
+\emacroexp
+
\macroexp{\@arrow at def{<arrow name>}<left cap><right cap>} This creates an arrow macro, like \macroname\varrightarrow.
This creates the normal, long, and extendable versions of the arrow.
For example, the definition of the {\it varrightarrow} vectors is:
@@ -313,6 +355,18 @@
/endcode
\emacroexp
+\macroexp{\@Arrow at def{<arrow name>}<left cap><right cap><height displacement>} This creates a double-stroked arrow, like
+\macroname\varRightarrow.
+This macro creates the normal, long, and extendable versions of the arrow.
+{\it height displacement} is half the difference in height between the two strokes (the difference of height between one stroke
+and the center).
+For the default double stroke linecaps \pdfMsym{} defines, this should be $1$.
+For example, the definition of {\it varRightarrow} is:
+\begincode
+\@Arrow at def{varRightarrow}\@Linecap\@Rarrow{1}
+/endcode
+\emacroexp
+
\macroexp{\@wide at accent{<pdf code>}} This creates a wide accent, like \macroname\varwidecheck.
The width of the drawing by the {\it pdf code} should be $1$, and it should be filled not stroked (since the accent is
transformed to stretch over the material beneath it).
@@ -323,7 +377,7 @@
/endcode
\emacroexp
-\macroexp{\pdf at drawing@macro{<name>}{<pdf code>}{<width>}{<height>}{<horizontal skew>}{<depth>}} This creates a text mode
+\macroexp{\pdf at drawing@macro{<name>}{<pdf code>}{<width>}{<height>}{<depth>}{<horizontal skew>}} This creates a text mode
symbol like \macroname\lightning.
It is important that the {\it pdf code} fits inside the box created by {\it width, height,\/} and {\it depth} since the
drawing is placed inside of an XForm and so anything outside the box will be cropped.
@@ -338,7 +392,7 @@
/endcode
\emacroexp
-\macroexp{\pdf at drawing@math at macro{<name>}{<pdf code>}{<width>}{<height>}{<skew>}{<depth>}<style scaling>} This creates a math
+\macroexp{\pdf at drawing@math at macro{<name>}{<pdf code>}{<width>}{<height>}{<depth>}{<skew>}<style scaling>} This creates a math
mode symbol like \macroname\divs.
The first few parameters are identical in use as \macroname\pdf at drawing@macro's, and {\it style scaling} is used to set the
scaling for the symbol in different math styles.
@@ -378,6 +432,34 @@
/endcode
\emacroexp
+\macroexp{\@skewedlim at op{<operator>}{<sup1>}{<sub1>}{<sup2>}{<sub2>}{<sup3>}{<sub3>}{<default limit>}}
+This creates a large math operator with skewed limits, like \macroname\int.
+{\it operator} should be a math operator, {\it sup1} and {\it sub1} are the skews of the superscript and subscript of the
+operator, respectively under \macroname\nolimits.
+Similarly {\it sup2} and {\it sub2} are the skews for \macroname\limits, and {\it sup3} and {\it sub3} are the
+skews for the default limit (if this is not followed by \macroname\limits{} or \macroname\nolimits) which is given by
+{\it default limit}.
+
+For example, \macroname\@oiNint{} is defined to be a macro which creates the shape of \macroname\oiNint{} (see below), and
+\macroname\oiNint{} is defined as
+\begincode
+\def\oiNint#1{\@skewedlim at op{\mathop{\@oiNint{#1}}}{-4}{6}{-10}{10}{-4}{6}\nolimits}
+/endcode
+\emacroexp
+
+\macroexp{\putexsym{<symbol>}<left cap><right cap>{<height displacement>}{<skew>}} This draws a double stroked drawing on top of
+{\it symbol} whose caps are {\it left cap} and {\it right cap} with a height displacement (the half the space between strokes) of
+{\it height displacement}.
+{\it skew} alters the space between the end of {\it symbol} and where the double stroked drawing is drawn.
+For example, \macroname\@oiNint, which gives the shape of \macroname\oiNint, is defined as
+\begincode
+\def\@oiNint#1{\putexsym{\iNint{#1}}\@BigLeftcirclecap\@BigRightcirclecap{2.5}{4}}
+/endcode
+\macroname\iNint{} is a macro
+\macrousage \iNint{<N>} /emacrousage
+which prints {\it N} integrals with a kern \macroname\iNint at kern@{} between each one.
+\emacroexp
+
\unless\ifx\pdfxform\undefined
\macroexp{\@wide at operator{<name>}<operator>{<first cut>}{<second cut>}} This creates an extendable operator of {\it operator}
whose name is {\it name}, like \macroname\suum.
@@ -397,4 +479,30 @@
These macros are not available for \xetex.
\emacroexp
\fi
+
+\subsection{The Dimensions}
+For fine-tuning of symbols, it may be useful to familiarize oneself with the various dimensions \pdfMsym{} utilizes for various
+purposes throught its symbol definitions.
+Dimensions are all defined as macros, and are all dimensionless.
+If a dimension is defined as $1$ then it corresponds to $1$ in $10$pt font.
+
+{\everycr{\noalign{\kern10pt}}\halign{\tt\vtop{\hsize=.2\hsize#}\hfil\tabskip=.05\hsize&\hfil\vtop{\hsize=.75\hsize#}\tabskip=0pt\cr
+\string\@font at scale & The amount of scaling relative to $10$pt, this is defined via \macroname\pdfmsymsetscalefactor.\cr
+\string\vecc at w & The height of the arrows, similarly there is \macroname\vecc at hw{} which must be equal to half of \macroname\vecc at w.\cr
+\string\vecc at skew & \pdfMsym{} leaves a space of \macroname\vecc at skew{} between the ends of material and the endpoints of
+the vector on top or below the material.\cr
+\string\vecc at X@s\par\string\vecc at X@sf & \macroname\vecc at X@s{} is the ratio of the scaling factor (as a decimal) of the
+$X$ math style ($X$ can be {\tt displaystyle}, {\tt textstyle}, etc.).
+Similarly \macroname\vecc at X@sf{} should be numerically equivalent to \macroname\vecc at X@s{} but written as a fraction.
+\pdfMsym{} scales (many, but not all, see \macroname\exsym at X@s{} and \macroname\exsym at X@sf) math macros according to these values.\cr
+\string\vecc at skip & The amount of space between material and the vector symbol above or below it.\cr
+\string\arrow at skip & The math kerning to be used around an arrow.
+\macroname\arrow at skip{} must be defined as glue, eg \icode \mkern1mu/eicode.\cr
+\string\xarrow at buffer & The amount of extra arrow to add between the caps of an extendable arrow and when the above/below material begins.\cr
+\string\accent at skew & Analogous to \macroname\vecc at skew{} but for extendable accents.\cr
+\string\accent at raise & Analogous to \macroname\vecc at skip{} but for extendable accents.\cr
+\string\exsym at X@s\par\string\exsym at X@sf & Analogous to \macroname\vecc at X@s{} and \macroname\vecc at X@sf but used by \macroname\putexsym.\cr
+\string\iNint at kern@ & The amount of kerning to put between integral signs in \macroname\iNint.
+This must be given as glue, eg. \icode \mkern-10mu\mathchoice{\mkern-5mu}{}{}{}/eicode.\cr
+}}
\end
Modified: trunk/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex
===================================================================
--- trunk/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex 2022-12-21 00:52:13 UTC (rev 65323)
+++ trunk/Master/texmf-dist/tex/generic/pdfmsym/pdfmsym.tex 2022-12-21 20:48:01 UTC (rev 65324)
@@ -8,9 +8,12 @@
\catcode`\@=11
\def\pdfMsym{{\scten pdf}{\rm M}{\scten sym}}
-\def\pdfMsymversion{1.0.2}
+\def\pdfMsymversion{1.1.0}
-\def\@gobble#1{}
+\ifx\@gobble\undefined
+ \long\def\@gobble#1{}
+\fi
+
\def\m at strip{\expandafter\@gobble\string}
\ifx\@ifnextchar\undefined
@@ -28,9 +31,19 @@
}
\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 at afterfi#1#2\fi{\fi#1}
+
+\def\pdfmsym at repeated#1#2{%
+ \ifnum#1>0 %
+ \pdfmsym at afterfi{#2\expandafter\pdfmsym at 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}}
@@ -71,8 +84,8 @@
{\@@linehead at type{#3}{#4}{#1}{#2}[1][1]}%
}
-\def\@rarrow {\@linehead at 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 at 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 at 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 at 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 at type{0 0 m 2 0 l 1 0 0 1 0 1.5 c S}{2}}
\def\@lharp {\@linehead at type{2 0 m 0 0 l 1 0 2 1 2 1.5 c S}{2}}
\def\@rdharp {\@linehead at type{0 0 m 2 0 l 1 0 0 -1 0 -1.5 c S}{2}}
@@ -81,45 +94,99 @@
\def\@mapcap {\@linehead at type{0 1.5 m 0 -1.5 l 0 0 m 1 0 l S}{1}}
\def\@rsarrow{\@linehead at type{0 0 m 2 0 l 0 1 l 2 0 m 0 -1 l S}{2}}
\def\@lsarrow{\@linehead at type{2 0 m 0 0 l 2 1 l 0 0 m 2 -1 l S}{2}}
-\def\@backhook{\@linehead at type{.5 1 m .25 1 0 .75 0 .5 c 0 .25 .25 0 .5 0 c S}{0.5}}
-\def\@fronthook{\@linehead at type{0 1 m .25 1 .5 .75 .5 .5 c .5 .25 .25 0 0 0 c S}{0.5}}
-\def\@doublerarrow{\@linehead at 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 at 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 at type{1 2 m .5 2 0 1.5 0 1 c 0 .5 .5 0 1 0 c S}{1}}
+\def\@fronthook{\@linehead at type{0 2 m .5 2 1 1.5 1 1 c 1 .5 .5 0 0 0 c S}{1}}
+\def\@doublerarrow{\@linehead at 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 at 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 at 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 at 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 at 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 at type{0 -1 m 1 -1 l 0 1 m 1 1 l S}{1}}
+\def\@Rightcirclecap{\@linehead at type{0 1 m .5 1 1 .5 1 0 c 1 -.5 .5 -1 0 -1 c S}{1}}
+\def\@Leftcirclecap{\@linehead at type{1 1 m .5 1 0 .5 0 0 c 0 -.5 .5 -1 1 -1 c S}{1}}
+\def\@Rightsquarecap{\@linehead at type{0 1 m 1 1 l 1 -1 l 0 -1 l S}{1}}
+\def\@Leftsquarecap{\@linehead at type{1 1 m 0 1 l 0 -1 l 1 -1 l S}{1}}
+\def\@Rightribboncap{\@linehead at type{0 1 m 2 1 l 0 0 l 2 -1 l 0 -1 l S}{2}}
+\def\@Leftribboncap{\@linehead at 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 at 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 at w{.4} \def\vecc at hw{.2} \def\vecc at skew{2.5}
\def\vecc at displaystyle@s{1} \def\vecc at displaystyle@sf{1}
\def\vecc at textstyle@s{1} \def\vecc at textstyle@sf{1}
\def\vecc at scriptstyle@s{.8} \def\vecc at scriptstyle@sf{8 / 10}
\def\vecc at scriptscriptstyle@s{.6} \def\vecc at scriptscriptstyle@sf{6 / 10}
+\def\vecc at skip{.4}
-\def\@@@vecc at type#1#2#3#4#5{%
- \mathord{\mathop{\kern\z@#1}\limits^{%
- \mkern\vecc at skew mu%
- #2{\vecc at w}{\vecc at hw}[#4][#5]%
- \cleaders\hrule height \dimexpr \vecc at w pt * #4 * \@font at scale\relax\hfill%
- #3{\vecc at w}{\vecc at hw}[#4][#5]%
- \mkern\vecc at skew mu}%
-}}
+%\def\@@@vecc at type#1#2#3#4#5{%
+% \mathord{\mathop{\kern\z@#1}\limits^{%
+% \mkern\vecc at skew mu%
+% #2{\vecc at w}{\vecc at hw}[#4][#5]%
+% \cleaders\hrule height \dimexpr \vecc at w pt * #4 * \@font at scale\relax\hfill%
+% #3{\vecc at w}{\vecc at hw}[#4][#5]%
+% \mkern\vecc at skew mu}%
+%}}
-\def\@@vecc at type#1#2{\@@@vecc at type#2{\csname vecc@\m at strip#1 at sf\endcsname}{\csname vecc@\m at strip#1 at s\endcsname}}
+\def\@@@vecc at type#1#2#3#4#5#6{%
+ \vbox{\offinterlineskip%
+ \ialign{##\cr
+ $\m at th\mkern\vecc at skew mu%
+ #2{\vecc at w}{\vecc at hw}[#4][#5]%
+ \cleaders\hrule height \dimexpr \vecc at w pt * #4 * \@font at scale\relax\hfill%
+ #3{\vecc at w}{\vecc at hw}[#4][#5]%
+ \mkern\vecc at skew mu$\cr\noalign{\kern\dimexpr\vecc at skip ex * #4\relax}%%
+ $\m at th#6#1$\cr%
+ }%
+ }%
+}
+
+\def\@@vecc at type#1#2{\@@@vecc at type#2{\csname vecc@\m at strip#1 at sf\endcsname}{\csname vecc@\m at strip#1 at s\endcsname}{#1}}
\def\@vecc at type#1#2#3{\mathpalette\@@vecc at type{{#1}{#2}{#3}}}
+\def\@@@undervecc at type#1#2#3#4#5#6{%
+ \vtop{\offinterlineskip%
+ \ialign{##\cr
+ $\m at th#6#1$\cr\noalign{\kern\dimexpr\vecc at skip ex * #4\relax}%
+ $\m at th\mkern\vecc at skew mu%
+ #2{\vecc at w}{\vecc at hw}[#4][#5]%
+ \cleaders\hrule height \dimexpr \vecc at w pt * #4 * \@font at scale\relax\hfill%
+ #3{\vecc at w}{\vecc at hw}[#4][#5]%
+ \mkern\vecc at skew mu$\cr%
+ }%
+ }%
+}
+
+\def\@@undervecc at type#1#2{\@@@undervecc at type#2{\csname vecc@\m at strip#1 at sf\endcsname}{\csname vecc@\m at strip#1 at s\endcsname}{#1}}
+\def\@undervecc at type#1#2#3{\mathpalette\@@undervecc at type{{#1}{#2}{#3}}}
+
\def\@vecc at def#1#2#3{%
\expandafter\def\csname #1\endcsname##1{\@vecc at type{##1}{#2}{#3}}%
\expandafter\def\csname short#1\endcsname##1{{\def\vecc at skew{0}\csname #1\endcsname{##1}}}%
}
+\def\@undervecc at def#1#2#3{%
+ \expandafter\def\csname #1\endcsname##1{\@undervecc at type{##1}{#2}{#3}}%
+ \expandafter\def\csname short#1\endcsname##1{{\def\vecc at skew{0}\csname #1\endcsname{##1}}}%
+}
+
+\def\@overunder at def#1#2#3{\@vecc at def{over#1}{#2}{#3}\@undervecc at def{under#1}{#2}{#3}}
+
\@vecc at def{vecc}\@linecap\@rarrow
\@vecc at def{lvecc}\@larrow\@linecap
-\@vecc at def{overrightharp}\@linecap\@rharp
-\@vecc at def{overleftharp}\@lharp\@linecap
-\@vecc at def{overleftrightvecc}\@larrow\@rarrow
-\@vecc at def{overleftrightharp}\@lharp\@rdharp
-\@vecc at def{overrightleftharp}\@ldharp\@rharp
\@vecc at def{straightvecc}\@linecap\@rsarrow
\@vecc at def{straightlvecc}\@lsarrow\@linecap
+\@undervecc at def{undervecc}\@linecap\@rarrow
+\@undervecc at def{underlvecc}\@larrow\@linecap
+\@undervecc at def{understraightvecc}\@linecap\@rsarrow
+\@undervecc at def{understraightlvecc}\@lsarrow\@linecap
+\@overunder at def{rightharp}\@linecap\@rharp
+\@overunder at def{leftharp}\@lharp\@linecap
+\@overunder at def{leftrightvecc}\@larrow\@rarrow
+\@overunder at def{leftrightharp}\@lharp\@rdharp
+\@overunder at def{rightleftharp}\@ldharp\@rharp
+
\unless\ifx\pdfxform\undefined
\def\@@constvec#1#2#3{{%
\setbox1=\hbox{$#1#3$}%
@@ -132,7 +199,7 @@
\fi
\def\arrow at skip{\mkern1mu}
-\def\xarrow at buffer{3}
+\def\xarrow at buffer{1}
\def\@@@xarrow at type#1#2#3#4#5#6#7{\mathrel{\arrow at skip%
\vcenter{\hbox{$#7%
#1{\vecc at w}{\vecc at hw}[#5][#6]%
@@ -185,6 +252,93 @@
\@arrow at def{varcirclerightarrow}\@circlecap\@rarrow
\@arrow at def{varcircleleftarrow}\@larrow\@circlecap
+\def\@subscriptconvdef#1#2{\expandafter\let\csname \m at strip#1 at subconv\endcsname=#2}
+\def\@subscriptconv#1{\csname \m at strip#1 at subconv\endcsname}
+\@subscriptconvdef\displaystyle\scriptstyle
+\@subscriptconvdef\textstyle\scriptstyle
+\@subscriptconvdef\scriptstyle\scriptscriptstyle
+\@subscriptconvdef\scriptscriptstyle\scriptscriptstyle
+
+\def\@@Arrow at rule#1#2#3{%
+ \lower\dimexpr #2 * #3 * \@font at scale\relax
+ \vbox{%
+ \hrule width #1 height \dimexpr \vecc at w pt * #3 * \@font at scale\relax depth 0pt%
+ \kern\dimexpr #2 * #3 * \@font at scale * 2 - \vecc at w pt * #3 * \@font at scale\relax%
+ \hrule width #1 height \dimexpr \vecc at w pt * #3 * \@font at scale\relax depth 0pt%
+ }%
+}
+
+% #1 width #2 bar height difference #3 mathstyle scale (fraction)
+\def\@Arrow at rule#1#2#3{%
+ \@@Arrow at 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 at type#1#2#3#4#5#6#7#8{\mathrel{\arrow at skip%
+ {\setbox0=\hbox{$#8-$}\raise.5\dimexpr\ht0-\dp0-(\vecc at w pt * #6 * \@font at scale)\relax\hbox{$#8%
+ \setbox0=\hbox{$\@subscriptconv#8#5$}%
+ #1{\vecc at w}{\vecc at hw}[#6][#7]%
+ \@Arrow at rule{\xarrow at buffer pt}{#3 pt}{#6}%
+ \lower\dimexpr (#3 pt + \vecc at skip ex) * #6 * \@font at scale+\ht0\relax
+ \vbox{\offinterlineskip%
+ \ialign{\hfil##\hfil\cr
+ $\@subscriptconv#8#4$\cr\noalign{\kern\dimexpr\vecc at skip ex * #6 * \@font at scale\relax}%
+ \leaders\hrule height \dimexpr \vecc at w pt * #6 * \@font at scale\relax\hfill\cr%
+ \noalign{\kern\dimexpr #3 pt * #6 * \@font at scale * 2 - \vecc at w pt * #6 * \@font at scale\relax}%
+ \leaders\hrule height \dimexpr \vecc at w pt * #6 * \@font at scale\relax\hfill\cr\noalign{\kern\dimexpr\vecc at skip ex * #6 * \@font at scale\relax}%
+ $\@subscriptconv#8#5$\cr%
+ }%
+ }%
+ \@Arrow at rule{\xarrow at buffer pt}{#3 pt}{#6}%
+ #2{\vecc at w}{\vecc at hw}[#6][#7]%
+ $}}%
+ \arrow at skip%
+}}
+
+\def\@@xArrow at type#1#2{\@@@xArrow at type#2{\csname vecc@\m at strip#1 at sf\endcsname}{\csname vecc@\m at strip#1 at s\endcsname}{#1}}
+\def\@xArrow at type#1#2#3#4#5{\mathpalette\@@xArrow at type{{#1}{#2}{#3}{#4}{#5}}}
+
+\def\@@@Arrow at type#1#2#3#4#5#6#7{\mathrel{\arrow at skip%
+ \vcenter{\hbox{$#7%
+ #1{\vecc at w}{\vecc at hw}[#5][#6]%
+ \@Arrow at rule{#3}{#4pt}{#5}%
+ #2{\vecc at w}{\vecc at hw}[#5][#6]%
+ $}}\arrow at skip%
+}}
+
+\def\@@Arrow at type#1#2{\@@@Arrow at type#2{\csname vecc@\m at strip#1 at sf\endcsname}{\csname vecc@\m at strip#1 at s\endcsname}{#1}}
+\def\@Arrow at type#1#2#3#4{\mathpalette\@@Arrow at type{{#1}{#2}{#3}{#4}}}
+
+\def\@Arrow at def#1#2#3#4{%
+ \expandafter\def\csname #1\endcsname{\@Arrow at type{#2}{#3}{1ex}{#4}}%
+ \expandafter\def\csname long#1\endcsname{\@Arrow at type{#2}{#3}{2ex}{#4}}%
+ \expandafter\def\csname @x#1\endcsname##1[##2]{\@xArrow at 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 at def{varRightarrow}\@Linecap\@Rarrow{1}
+\@Arrow at def{varLeftarrow}\@Larrow\@Linecap{1}
+\@Arrow at def{varCirclerightarrow}\@Leftcirclecap\@Rarrow{1}
+\@Arrow at def{varCircleleftarrow}\@Larrow\@Rightcirclecap{1}
+\@Arrow at def{varSquarerightarrow}\@Leftsquarecap\@Rarrow{1}
+\@Arrow at def{varSquareleftarrow}\@Larrow\@Rightsquarecap{1}
+\@Arrow at def{varRibbonrightarrow}\@Leftribboncap\@Rarrow{1}
+\@Arrow at def{varRibbonleftarrow}\@Larrow\@Rightribboncap{1}
+\@Arrow at def{roundedarrow}\@Leftcirclecap\@Rightcirclecap{1}
+\@Arrow at def{squaredarrow}\@Leftsquarecap\@Rightsquarecap{1}
+\@Arrow at def{rightPP}\@Circlescap\@Rightcirclecap{1}
+\@Arrow at def{leftPP}\@Leftcirclecap\@Circlescap{1}
+
\def\accent at skew{.4}
\def\accent at raise{.25}
\def\@@@wide at accent#1#2#3{{%
@@ -212,6 +366,86 @@
\def\varwidehat{\@wide at accent{0 0 m .5 .9 l 1 0 l 1 .3 l .5 1.6 l 0 .3 l f}}
\def\varwidetilde{\@wide at 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 at op@done#1#2#3#4#5{#1^{\mkern-#2mu#4}_{\mkern-#3mu#5}}
+\def\@skewedlim at op@supsub#1#2#3#4_#5{\@skewedlim at op@done{#1}{#2}{#3}{#4}{#5}}
+\def\@skewedlim at op@subsup#1#2#3#4^#5{\@skewedlim at op@done{#1}{#2}{#3}{#5}{#4}}
+\def\@skewedlim at op@sub#1#2#3#4#5{%
+ \@ifnextchar^ {\@skewedlim at op@subsup{#1}{#2}{#3}{#5}}%
+ {\@skewedlim at op@done{#1}{#2}{#3}{}{#5}}%
+}
+\def\@skewedlim at op@sup#1#2#3#4#5{%
+ \@ifnextchar_ {\@skewedlim at op@supsub{#1}{#2}{#3}{#5}}%
+ {\@skewedlim at op@done{#1}{#2}{#3}{#5}{}}%
+}
+\def\@skewedlim at op@nsup#1#2#3{%
+ \@ifnextchar_ {\@skewedlim at op@sub{#1}{#2}{#3}}%
+ {\@skewedlim at op@done{#1}{#2}{#3}{}{}}%
+}
+\def\@@skewedlim at op#1#2#3{%
+ \@ifnextchar^ {\@skewedlim at op@sup{#1}{#2}{#3}}%
+ {\@skewedlim at op@nsup{#1}{#2}{#3}}%
+}
+
+\def\@skewedlim at op@limits{%
+ \ifx\@skewedlim at char\nolimits%
+ \pdfmsym at afterfi{\@@skewedlim at op{\@skewedlim at atom\nolimits}{\@skewedlim at nolim@supskew}{\@skewedlim at nolim@subskew}}%
+ \else%
+ \pdfmsym at afterfi{\ifx\@skewedlim at char\limits%
+ \pdfmsym at afterfi{\@@skewedlim at op{\@skewedlim at atom\limits}{\@skewedlim at lim@supskew}{\@skewedlim at lim@subskew}}%
+ \else%
+ \pdfmsym at afterfi{\@@skewedlim at op{\@skewedlim at atom\@skewedlim at preflim}{\@skewedlim at preflim@supskew}{\@skewedlim at preflim@subskew}\@skewedlim at char}%
+ \fi}%
+ \fi%
+}
+
+\def\@skewedlim at op#1#2#3#4#5#6#7#8{%
+ \def\@skewedlim at atom{#1}%
+ \def\@skewedlim at nolim@supskew{#2}\def\@skewedlim at nolim@subskew{#3}%
+ \def\@skewedlim at lim@supskew{#4}\def\@skewedlim at lim@subskew{#5}%
+ \def\@skewedlim at preflim@supskew{#6}\def\@skewedlim at preflim@subskew{#7}%
+ \def\@skewedlim at preflim{#8}%
+ \afterassignment\@skewedlim at op@limits%
+ \let\@skewedlim at char=%
+}
+
+\def\exsym at displaystyle@s{1} \def\exsym at displaystyle@sf{1}
+\def\exsym at textstyle@s{.7} \def\exsym at textstyle@sf{7 / 10}
+\def\exsym at scriptstyle@s{.7} \def\exsym at scriptstyle@sf{7 / 10}
+\def\exsym at scriptscriptstyle@s{.6} \def\exsym at 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 at th#8#1$}%
+ \setbox1=\hbox{$\m at th#2{\vecc at w}{\vecc at hw}[#6][#7]$}%
+ \kern\dimexpr\wd1 - #5 pt * #6 * \@font at scale\relax\rlap{$#8#1$}\kern-\dimexpr\wd1 - #5pt * #6 * \@font at scale\relax%
+ \raise.5\dimexpr\ht0-\dp0\relax
+ \vbox{\hbox{$#8#2{\vecc at w}{\vecc at hw}[#6][#7]\@@Arrow at rule{\dimexpr\wd0- #5 pt * #6 * \@font at scale * 2\relax}{#4 pt}{#6}#3{\vecc at w}{\vecc at hw}[#6][#7]$}}%
+}}
+
+\def\@putexsym#1#2{\@@putexsym#2{\csname exsym@\m at strip#1 at sf\endcsname}{\csname exsym@\m at strip#1 at s\endcsname}{#1}}
+\def\putexsym#1#2#3#4#5{\mathpalette\@putexsym{{#1}{#2}{#3}{#4}{#5}}}
+
+\def\@BigRightcirclecap{\@linehead at 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 at 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 at type {0 2.5 m 1 2.5 l 1 -2.5 l 0 -2.5 l S}{1}}
+\def\@BigLeftsquarecap{\@linehead at type{1 2.5 m 0 2.5 l 0 -2.5 l 1 -2.5 l S}{1}}
+\def\@BigCirclescap{\@linehead at 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 at kern@{\mkern-10mu\mathchoice{\mkern-5mu}{}{}{}}
+\def\iNint#1{\pdfmsym at repeated{\numexpr #1-1\relax}{\int\iNint at 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 at op{\mathop{\@oiNint{#1}}}{-4}{6}{-10}{10}{-4}{6}\nolimits}
+\def\biNint#1{\@skewedlim at 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 at 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 at drawing@get{#1}{##1}}}}%
+ \expandafter\def\csname center@#1\endcsname{\expandafter\mathpalette\csname @center@#1@\endcsname{}}%
}
\def\math at sym@defs{%
@@ -300,6 +538,28 @@
{5.4pt}{10pt}{0pt}{.2pt}
{{1}{1}}{{7 / 10}{.7}}{{11 / 20}{.55}}
\def\divs{\mathrel{\@divs}}
+
+ \pdf at drawing@math at 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 at drawing@math at 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 at drawing@math at 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
More information about the tex-live-commits
mailing list.