plstmary (9may13)

git-svn-id: svn://tug.org/texlive/trunk@30354 c570f23f-e606-0410-a88d-b1316a301751

8 files changed, 654 insertions, 1 deletions

diff --git a/Master/texmf-dist/doc/plain/plstmary/README b/Master/texmf-dist/doc/plain/plstmary/README
new file mode 100644
index 00000000000..658abd2fe43
--- /dev/null
+++ b/Master/texmf-dist/doc/plain/plstmary/README
@@ -0,0 +1,47 @@
+plstmary: St. Mary's Road symbols for plainTeX
+----------------------------------------------
+
+LICENSE:
+
+The plstmary package is hereby placed in the public domain.
+
+MANIFEST:
+
+The distribution consists of the files
+
+  * stmary.tex      Macros for producing the symbols in plain TeX.
+  * README          What you are reading now.
+  * plstmary.pdf    Documentation
+  * plstmary.tex    Documentation source.
+
+DESCRIPTION:
+
+The commands used to produce the symbols are the same as those used in
+the stmaryrd package for LaTeX. Consult the documentation of that
+package for details not found in plstmary.pdf.
+
+By default, the symbols are provided for 10 point documents. Use one of
+the following commands to access a different size (9, 11, or 12 point).
+  \stmaryrdninepoint
+  \stmaryrdelevenpoint
+  \stmaryrdtwelvepoint
+The command \stmaryrdtenpoint restores the default if it has been
+changed.
+
+If amsfonts are used, stmary.tex may redefine commands defined by
+amssym.tex. If you do not wish this to happen, input amssym.tex after
+stmary.tex.
+
+VERSIONS:
+
+    0.4 -- 2013/04/16   Corrected \lbag, \Lbag, \binampersand and
+                        \bindnasrepma
+    0.3 -- 2013/03/28   Reorganized internal macros,
+    0.2 -- 2010/12/05   Typos corrected
+    0.1 -- 2007/04/02   Initial version
+
+--
+Dan Luecking        luecking at uark dot edu
+Department of Mathematical Sciences
+1 University of Arkansas
+Fayetteville, AR 72701 USA
diff --git a/Master/texmf-dist/doc/plain/plstmary/plstmary.pdf b/Master/texmf-dist/doc/plain/plstmary/plstmary.pdf
new file mode 100644
index 00000000000..951b60ba30c
--- /dev/null
+++ b/Master/texmf-dist/doc/plain/plstmary/plstmary.pdf
diff --git a/Master/texmf-dist/doc/plain/plstmary/plstmary.tex b/Master/texmf-dist/doc/plain/plstmary/plstmary.tex
new file mode 100644
index 00000000000..6c9eb7902bf
--- /dev/null
+++ b/Master/texmf-dist/doc/plain/plstmary/plstmary.tex
@@ -0,0 +1,415 @@
+\input amssym
+\input stmary
+\font\headfont=cmr12
+\font\headsf=cmss12
+\hsize 6truein
+\hoffset .25in
+\def\!{\relax\ifmmode\mskip -\thinmuskip \else \negthinspace\fi}
+
+\centerline{\headsf plstmary: \headfont St.\ Mary's Road Font for Plain \TeX}
+\medskip
+\centerline{Dan Luecking}
+\centerline{\tt luecking \it \!at\/ \tt uark \it \!dot\/ \tt edu}
+\bigskip
+
+\noindent The plstmary package provides plain TeX support for the St.\
+Mary's Road symbol font. After inputting the macro file {\tt
+stmary.tex}, all the symbols in the tables below become defined, except
+{\tt\string\oast} and {\tt\string\ocircle}. These two commands require
+that {\tt amssym.tex} be input. (They are the same symbols
+as {\tt\string\circledast} and {\tt\string\circledcirc}, defined in {\tt
+amssym.tex}. The point of defining them is to have matching
+`{\tt\string\o}\dots' and `{\tt\string\varo}\dots' pairs for all
+circles.)
+
+Some command names defined in the {\tt stmary.tex} overwrite command names
+in the {\tt amssym.tex}. If you wish to avoid that, you should load
+{\tt amssym.tex} after {\tt stmary.tex}.
+
+All the command names are the same as those in the LaTeX package
+{\tt stmaryrd.sty}. More details on the symbols and their usage may be found in
+the documentation of the LaTeX stmaryrd package.
+
+The plstmary package allows minimal size changing. By default it
+produces symbols intended for ten point documents. It also supports nine,
+eleven, and twelve point documents. Use one of the following commands to
+change size:\hfil\break
+\indent{\tt \string\stmaryninepoint}\hfil\break
+\indent{\tt \string\stmaryelevenpoint}\hfil\break
+\indent{\tt \string\stmarytwelvepoint}\hfil\break
+You can use {\tt\string\stmarytenpoint} to restore the default if it has
+been changed.
+
+In order to get actual error-free output from these commands, one needs
+to have the St.\ Mary Road fonts installed, but they are available in
+all the major free TeX distributions: TeX Live, MiKTeX and MacTeX.
+
+\bigskip
+\leftline{\bf Legal stuff}
+
+\medskip
+\noindent The St.\ Mary's Road metafont code is copyright \copyright
+1991-1994 by Jeremy Gibbons and Alan Jeffrey. The fonts in PS type1
+format (i.e., {\tt .afm} and {\tt .pfb} files) are copyright \copyright
+1998 by Taco Hoekwater. All rights are reserved to the respective
+authors.
+
+This plstmary package for plain TeX is hereby placed in the
+public domain. I am indebted to the creators of the fonts and of the
+stmaryrd LaTeX package. The file {\tt stmary.tex} is nothing but a
+reduction to plain TeX macros and TeX primitives of the code in {\tt
+stmaryrd.sty}.
+
+\bigskip
+\leftline{\bf Caveats}
+
+\medskip
+\noindent Some features of the LaTeX package have not been implemented
+in plstmary. For example, normally the symbol obtained with
+{\tt\string\oplus} has thin strokes while {\tt\string\varoplus} has
+thicker strokes. The LaTeX package can be loaded with the {\tt
+heavycircles} option to reverse this for all the circled symbols. This
+is not implemented in plstmary. Also, the LaTeX package has the {\tt
+only} option, allowing selected commands to be defined and no others.
+This is not implemented in plstmary.
+
+Also, I have made the following corrections (or possibly mistakes).
+(1)~In {\tt stmaryrd.sty}, the commands {\tt\string\lbag} and
+{\tt\string\rbag} are defined as binary operations, but the
+documentation says they are delimiters. In {\tt stmary.tex}, I have
+defined them as delimiters. (2)~In {\tt stmaryrd.sty}, the commands
+{\tt\string\binampersand} and {\tt\string\bindnasrepma} are defined as
+delimiters, but their names clearly state that they are binary
+operations (and the stmaryrd package documentation does not list them
+among the delimiters). In {\tt stmary.tex}, I have defined them as
+binary operations. I have no idea if I have chosen the correct usages
+for these four commands, and I would be happy to change them back if
+someone would let me know.
+
+
+\bigskip
+The tables start on the next page.
+
+\bigskip
+\vfil\eject
+\halign{%
+\strut\quad\tt#\hfil\quad
+&             #\hfil\qquad
+&          \tt#\hfil\quad
+&             #\hfil\enspace\cr
+\bf Binary operations\hidewidth\cr
+\noalign{\smallskip\hrule\smallskip}
+ \string\Yup
+&$\Yup$
+&\string\Ydown
+&$\Ydown$\cr
+ \string\Yleft
+&$\Yleft$
+&\string\Yright
+&$\Yright$\cr
+ \string\binampersand
+&$\binampersand$
+&\string\bindnasrepma
+&$\bindnasrepma$\cr
+ \string\varcurlyvee
+&$\varcurlyvee$
+&\string\varcurlywedge
+&$\varcurlywedge$\cr
+ \string\minuso
+&$\minuso$
+&\string\baro
+&$\baro$\cr
+ \string\sslash
+&$\sslash$
+&\string\bbslash
+&$\bbslash$\cr
+ \string\moo
+&$\moo$
+&\string\boxast
+&$\boxast$\cr
+ \string\boxbar
+&$\boxbar$
+&\string\boxdot
+&$\boxdot$\cr
+ \string\boxslash
+&$\boxslash$
+&\string\boxbslash
+&$\boxbslash$\cr
+ \string\boxcircle
+&$\boxcircle$
+&\string\boxbox
+&$\boxbox$\cr
+ \string\boxempty
+&$\boxempty$
+&\string\merge
+&$\merge$\cr
+ \string\vartimes
+&$\vartimes$
+&\string\fatsemi
+&$\fatsemi$\cr
+ \string\fatslash
+&$\fatslash$
+&\string\fatbslash
+&$\fatbslash$\cr
+ \string\varbigcirc
+&$\varbigcirc$
+&\string\leftslice
+&$\leftslice$\cr
+ \string\rightslice
+&$\rightslice$
+&\string\varotimes
+&$\varotimes$\cr
+ \string\oast
+&$\oast$
+&\string\varoast
+&$\varoast$\cr
+ \string\obar
+&$\obar$
+&\string\varobar
+&$\varobar$\cr
+ \string\obslash
+&$\obslash$
+&\string\varobslash
+&$\varobslash$\cr
+ \string\ocircle
+&$\ocircle$
+&\string\varocircle
+&$\varocircle$\cr
+ \string\varoplus
+&$\varoplus$
+&\string\varominus
+&$\varominus$\cr
+ \string\olessthan
+&$\olessthan$
+&\string\varolessthan
+&$\varolessthan$\cr
+ \string\ogreaterthan
+&$\ogreaterthan$
+&\string\varogreaterthan
+&$\varogreaterthan$\cr
+ \string\ovee
+&$\ovee$
+&\string\varovee
+&$\varovee$\cr
+ \string\owedge
+&$\owedge$
+&\string\varowedge
+&$\varowedge$\cr
+ \string\varoslash
+&$\varoslash$
+&\string\varodot
+&$\varodot$\cr
+ \string\oblong
+&$\oblong$
+&\string\talloblong
+&$\talloblong$\cr
+ \string\interleave
+&$\interleave$
+&\string\nplus
+&$\nplus$\cr
+\noalign{\smallskip\hrule\smallskip}
+}
+
+\bigskip
+\filbreak
+\halign{%
+\strut\quad  \tt#\hfil\quad & #\hfil\qquad
+           & \tt#\hfil\quad & #\hfil\enspace\cr
+\bf Relations\hidewidth\cr
+\noalign{\smallskip\hrule\smallskip}
+%
+%
+%
+ \string\inplus
+&$\inplus$
+&\string\niplus
+&$\niplus$\cr
+ \string\subsetplus
+&$\subsetplus$
+&\string\supsetplus
+&$\supsetplus$\cr
+ \string\subsetpluseq
+&$\subsetpluseq$
+&\string\supsetpluseq
+&$\supsetpluseq$\cr
+ \string\shortuparrow
+&$\shortuparrow$
+&\string\shortdownarrow
+&$\shortdownarrow$\cr
+ \string\nnwarrow
+&$\nnwarrow$
+&\string\nnearrow
+&$\nnearrow$\cr
+ \string\sswarrow
+&$\sswarrow$
+&\string\ssearrow
+&$\ssearrow$\cr
+ \string\curlywedgeuparrow
+&$\curlywedgeuparrow$
+&\string\curlywedgedownarrow
+&$\curlywedgedownarrow$\cr
+ \string\curlyveedownarrow
+&$\curlyveedownarrow$
+&\string\curlyveeuparrow
+&$\curlyveeuparrow$\cr
+ \string\trianglelefteqslant
+&$\trianglelefteqslant$
+&\string\trianglerighteqslant
+&$\trianglerighteqslant$\cr
+ \string\ntrianglelefteqslant
+&$\ntrianglelefteqslant$
+&\string\ntrianglerighteqslant
+&$\ntrianglerighteqslant$\cr
+ \string\leftrightarroweq
+&$\leftrightarroweq$
+&\string\shortrightarrow
+&$\shortrightarrow$\cr
+ \string\shortleftarrow
+&$\shortleftarrow$
+&\string\rightarrowtriangle
+&$\rightarrowtriangle$\cr
+ \string\leftarrowtriangle
+&$\leftarrowtriangle$
+&\string\leftrightarrowtriangle
+&$\leftrightarrowtriangle$\cr
+\string\Mapsto
+&$\Mapsto$
+&\string\Longmapsto
+&$\Longmapsto$\cr
+\string\mapsfrom
+&$\mapsfrom$
+&\string\Mapsfrom
+&$\Mapsfrom$\cr
+\string\longmapsfrom
+&$\longmapsfrom$
+&\string\Longmapsfrom
+&$\Longmapsfrom$\cr
+\noalign{\smallskip\hrule\smallskip}
+}
+
+\bigskip
+\noindent The commands {\tt\string\arrownot} and {\tt\string\Arrownot}
+can be placed in front of horizontal arrows to negate them:
+{\tt\string\arrownot\string\rightarrow} produces
+        $\arrownot\rightarrow$ and
+        {\tt\string\Arrownot\string\Rightarrow} produces
+        $\Arrownot\Rightarrow$.
+For long arrows, there are {\tt\string\longarrownot} and
+{\tt\string\Longarrownot}.
+
+
+\bigskip
+\filbreak
+\halign{%
+\strut\quad \tt#\hfil\quad & #\hfil\qquad
+           &\tt#\hfil\quad & #\hfil\enspace\cr
+\bf Big operators\hidewidth\cr
+\noalign{\smallskip\hrule\smallskip}
+ \string\bigtriangledown
+&$\bigtriangledown$
+&\string\bigtriangleup
+&$\bigtriangleup$\cr
+ \string\bigcurlyvee
+&$\bigcurlyvee$
+&\string\bigcurlywedge
+&$\bigcurlywedge$\cr
+ \string\bigsqcap
+&$\bigsqcap$
+&\string\bigbox
+&$\bigbox$\cr
+ \string\bigparallel
+&$\bigparallel$
+&\string\biginterleave
+&$\biginterleave$\cr
+ \string\bignplus
+&$\bignplus$\cr
+\noalign{\smallskip\hrule\smallskip}
+}
+
+
+\bigskip
+\filbreak
+\halign{%
+\strut\quad \tt#\hfil\quad & #\hfil\qquad
+           &\tt#\hfil\quad & #\hfil\enspace\cr
+\bf Delimiters\hidewidth\cr
+\noalign{\smallskip\hrule\smallskip}
+ \string\lbag
+&$\lbag$
+&\string\rbag
+&$\rbag$\cr
+ \string\Lbag
+&$\Lbag$
+&\string\Rbag
+&$\Rbag$\cr
+ \string\llparenthesis
+&$\llparenthesis$
+&\string\rrparenthesis
+&$\rrparenthesis$\cr
+ \string\llfloor
+&$\llfloor$
+&\string\rrfloor
+&$\rrfloor$\cr
+ \string\llceil
+&$\llceil$
+&\string\rrceil
+&$\rrceil$\cr
+\noalign{\smallskip\hrule\smallskip}
+}
+
+\bigskip
+\filbreak
+\halign{%
+\strut\quad \tt#\hfil\quad & #\hfil\qquad
+           &\tt#\hfil\quad & #\hfil\enspace\cr
+\bf Expandable delimiters\hidewidth\cr
+\noalign{\smallskip\hrule\smallskip}
+ \string\llbracket
+&$\llbracket$
+&\string\rrbracket
+&$\rrbracket$\cr
+\noalign{\smallskip\hrule\smallskip}
+}
+
+Examples of extended double brackets:\quad
+$
+\left\llbracket \matrix{a\cr} \right\rrbracket\quad
+\left\llbracket \matrix{a\cr b\cr} \right\rrbracket\quad
+\left\llbracket \matrix{a\cr b\cr c\cr} \right\rrbracket\quad
+\left\llbracket \matrix{a\cr b\cr c\cr d\cr} \right\rrbracket\quad
+\left\llbracket \matrix{a\cr b\cr c\cr d\cr e\cr} \right\rrbracket\quad
+\left\llbracket \matrix{a\cr b\cr c\cr d\cr e\cr f\cr} \right\rrbracket
+$
+
+\bigskip
+\filbreak
+\halign{%
+\strut\quad \tt#\hfil\quad & #\hfil\qquad
+           &\tt#\hfil\quad & #\hfil\enspace\cr
+\bf Miscellaneous\hidewidth\cr
+\noalign{\smallskip\hrule\smallskip}
+ \string\lightning
+&$\lightning$
+&\string\varcopyright
+&$\varcopyright$\cr
+\noalign{\smallskip\hrule\smallskip}
+}
+
+\def\br{\hfil\break}
+\def\cmd#1{{\tt\string#1}}
+\bigskip
+\leftline{\bf Version history}
+
+\medskip
+\noindent
+    0.4 --- 2013/04/16\quad   Corrected \cmd\lbag, \cmd\Lbag,
+                              \cmd\binampersand and \cmd\bindnasrepma\br
+    0.3 --- 2013/03/28\quad   Reorganized internal macros\br
+    0.2 --- 2010/12/05\quad   Typos corrected\br
+    0.1 --- 2007/04/02\quad   Initial version
+
+
+\medskip
+\noindent
+
+\bye
diff --git a/Master/texmf-dist/tex/plain/plstmary/stmary.tex b/Master/texmf-dist/tex/plain/plstmary/stmary.tex
new file mode 100644
index 00000000000..ae46d88e712
--- /dev/null
+++ b/Master/texmf-dist/tex/plain/plstmary/stmary.tex
@@ -0,0 +1,189 @@
+% Loads stmaryrd symbols for 10pt plain TeX documents.
+% Use \stmaryrdninepoint for nine point documents.
+% Use \stmaryrdelevenpoint for eleven point documents.
+% Use \stmaryrdtwelvepoint for twelve point documents.
+%
+% See the LaTeX stmaryrd package docs for details on the symbols
+% available and the commands to access them.
+%
+\def\plainstmaryversion{0.4}%
+\edef\restoreallcatcodes{%
+   \catcode`\noexpand\@=\number\catcode`\@\relax
+   \catcode`\noexpand\!=\number\catcode`\!\relax}%
+%
+\newfam\stmaryrdfam
+%
+\font\stmaryfive    stmary5
+\font\stmarysix     stmary6
+\font\stmaryseven   stmary7
+\font\stmaryeight   stmary8
+\font\stmarynine    stmary9
+\font\stmaryten     stmary10
+\font\stmaryeleven  stmary10 at10.95pt
+\font\stmarytwelve  stmary10 at12pt
+%
+\def\stmaryrdninepoint{%
+          \textfont\stmaryrdfam \stmarynine
+        \scriptfont\stmaryrdfam \stmaryseven
+  \scriptscriptfont\stmaryrdfam \stmaryfive}%
+%
+\def\stmaryrdtenpoint{%
+          \textfont\stmaryrdfam \stmaryten
+        \scriptfont\stmaryrdfam \stmaryseven
+  \scriptscriptfont\stmaryrdfam \stmaryfive}%
+%
+\def\stmaryrdelevenpoint{%
+          \textfont\stmaryrdfam \stmaryeleven
+        \scriptfont\stmaryrdfam \stmaryeight
+  \scriptscriptfont\stmaryrdfam \stmarysix}%
+%
+\def\stmaryrdtwelvepoint{%
+          \textfont\stmaryrdfam \stmarytwelve
+        \scriptfont\stmaryrdfam \stmaryeight
+  \scriptscriptfont\stmaryrdfam \stmarysix}%
+%
+\catcode`\@=11
+%
+\catcode`\!\active
+\edef!{\ifcase\stmaryrdfam
+  0\or 1\or 2\or 3\or 4\or 5\or 6\or 7\or
+  8\or 9\or A\or B\or C\or D\or E\or F\fi}%
+%
+\def\stm@op   #1#2{\mathchardef#1"1!#2}%
+\def\stm@bin  #1#2{\mathchardef#1"2!#2}%
+\def\stm@rel  #1#2{\mathchardef#1"3!#2}%
+\def\stm@open #1#2{\mathchardef#1"4!#2}%
+\def\stm@close#1#2{\mathchardef#1"5!#2}%
+\stm@rel  \shortleftarrow{00}%
+\stm@rel  \shortrightarrow{01}%
+\stm@rel  \shortuparrow{02}%
+\stm@rel  \shortdownarrow{03}%
+\stm@bin  \Yup{04}%
+\stm@bin  \Ydown{05}%
+\stm@bin  \Yleft{06}%
+\stm@bin  \Yright{07}%
+\stm@bin  \varcurlyvee{08}%
+\stm@bin  \varcurlywedge{09}%
+\stm@bin  \minuso{0A}%
+\stm@bin  \baro{0B}%
+\stm@bin  \sslash{0C}%
+\stm@bin  \bbslash{0D}%
+\stm@bin  \moo{0E}%
+\stm@bin  \varotimes{0F}%
+\stm@bin  \varoast{10}%
+\stm@bin  \varobar{11}%
+\stm@bin  \varodot{12}%
+\stm@bin  \varoslash{13}%
+\stm@bin  \varobslash{14}%
+\stm@bin  \varocircle{15}%
+\stm@bin  \varoplus{16}%
+\stm@bin  \varominus{17}%
+\stm@bin  \boxast{18}%
+\stm@bin  \boxbar{19}%
+\stm@bin  \boxdot{1A}%
+\stm@bin  \boxslash{1B}%
+\stm@bin  \boxbslash{1C}%
+\stm@bin  \boxcircle{1D}%
+\stm@bin  \boxbox{1E}%
+\stm@bin  \boxempty{1F}%
+\mathchardef\lightning"0!20
+\stm@bin  \merge{21}%
+\stm@bin  \vartimes{22}%
+\stm@bin  \fatsemi{23}%
+\stm@rel  \sswarrow{24}%
+\stm@rel  \ssearrow{25}%
+\stm@rel  \curlywedgeuparrow{26}%
+\stm@rel  \curlywedgedownarrow{27}%
+\stm@bin  \fatslash{28}%
+\stm@bin  \fatbslash{29}%
+\stm@open \lbag{2A}%
+\stm@close\rbag{2B}%
+\stm@bin  \varbigcirc{2C}%
+\stm@rel  \leftrightarroweq{2D}%
+\stm@rel  \curlyveedownarrow{2E}%
+\stm@rel  \curlyveeuparrow{2F}%
+\stm@rel  \nnwarrow{30}%
+\stm@rel  \nnearrow{31}%
+\stm@bin  \leftslice{32}%
+\stm@bin  \rightslice{33}%
+\stm@bin  \varolessthan{34}%
+\stm@bin  \varogreaterthan{35}%
+\stm@bin  \varovee{36}%
+\stm@bin  \varowedge{37}%
+\stm@bin  \talloblong{38}%
+\stm@bin  \interleave{39}%
+\stm@bin  \obar{3A}%
+\stm@bin  \obslash{3B}%
+\stm@bin  \olessthan{3C}%
+\stm@bin  \ogreaterthan{3D}%
+\stm@bin  \ovee{3E}%
+\stm@bin  \owedge{3F}%
+\stm@bin  \oblong{40}%
+\stm@rel  \inplus{41}%
+\stm@rel  \niplus{42}%
+\stm@bin  \nplus{43}%
+\stm@rel  \subsetplus{44}%
+\stm@rel  \supsetplus{45}%
+\stm@rel  \subsetpluseq{46}%
+\stm@rel  \supsetpluseq{47}%
+\stm@open \Lbag{48}%
+\stm@close\Rbag{49}%
+%
+% \def instead of \let in case amssym is loaded later
+\def\oast{\circledast}%
+\def\ocircle{\circledcirc}%
+%
+\stm@open \llparenthesis{4C}%
+\stm@close\rrparenthesis{4D}%
+\stm@bin  \binampersand{4E}%
+\stm@bin  \bindnasrepma{4F}%
+\stm@rel  \trianglelefteqslant{50}%
+\stm@rel  \trianglerighteqslant{51}%
+\stm@rel  \ntrianglelefteqslant{52}%
+\stm@rel  \ntrianglerighteqslant{53}%
+\stm@open \llfloor{54}%
+\stm@close\rrfloor{55}%
+\stm@open \llceil{56}%
+\stm@close\rrceil{57}%
+\stm@rel  \arrownot{58}%
+\stm@rel  \Arrownot{59}%
+\stm@rel  \Mapstochar{5A}%
+\stm@rel  \mapsfromchar{5B}%
+\stm@rel  \Mapsfromchar{5C}%
+\stm@rel  \leftrightarrowtriangle{5D}%
+\stm@rel  \leftarrowtriangle{5E}%
+\stm@rel  \rightarrowtriangle{5F}%
+\stm@op   \bigtriangledown{60}%
+\stm@op   \bigtriangleup{61}%
+\stm@op   \bigcurlyvee{62}%
+\stm@op   \bigcurlywedge{63}%
+\stm@op   \bigsqcap{64}%
+\stm@op   \bigbox{65}%
+\stm@op   \bigparallel{66}%
+\stm@op   \biginterleave{67}%
+\stm@op   \bignplus{70}%
+%
+\edef\llbracket{\delimiter"4!4A!71}%
+\edef\rrbracket{\delimiter"5!4B!79}%
+%
+\def\@tempa#1{%
+  \def\varcopyright{%
+    {\ooalign{\hfil\raise.07ex\hbox{c}\hfil\crcr\mathhexbox#12C}}}}%
+\expandafter\@tempa!%
+%
+% The long arrow negations.
+%
+\def\longarrownot{\mathrel{\mkern5.5mu\arrownot\mkern-5.5mu}}%
+\def\Longarrownot{\mathrel{\mkern5.5mu\Arrownot\mkern-5.5mu}}%
+%
+% The variants on \mapsto:
+%
+\def\Mapsto{\Mapstochar\Rightarrow}%
+\def\mapsfrom{\leftarrow\mapsfromchar}%
+\def\Mapsfrom{\Leftarrow\Mapsfromchar}%
+\def\Longmapsto{\Mapstochar\Longrightarrow}%
+\def\longmapsfrom{\longleftarrow\mapsfromchar}%
+\def\Longmapsfrom{\Longleftarrow\Mapsfromchar}%
+%
+\restoreallcatcodes
+\stmaryrdtenpoint
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 34c27ba9400..734b90e0756 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -350,7 +350,7 @@ my @TLP_working = qw(
     pictex pictex2 pictexsum piechartmp piff pigpen
     pinlabel pitex pittetd pkfix pkfix-helper pkuthss placeins placeins-plain
     plain-doc plainpkg plari plantslabels plates play plipsum
-    plnfss plweb pmgraph pmx pnas2009
+    plnfss plstmary plweb pmgraph pmx pnas2009
     poemscol poetrytex polski poltawski
     polyglossia polynom polynomial
     polytable postcards poster-mac powerdot powerdot-FUBerlin
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 324e3848799..39668eaf058 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -1465,6 +1465,7 @@ $standardtex='\.(.bx|cfg|sty|clo|ldf|cls|def|fd|cmap|4ht)$';
  'plgraph',	'\.tex',
  'plipsum',	'plipsum.tex',
  'plnfss',	'\.tex|\.pfd',
+ 'plstmary',	'^stmary.tex',
  'pmx',		'pmx\.tex|' . $standardtex,
  'poster-mac',	'poster\.tex|' . $standardtex,
  'poetrytex',	'poetrytex\.sty$', # not -style
diff --git a/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc
index d0a582312a0..d20f14b565e 100644
--- a/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc
@@ -18,6 +18,7 @@ depend pitex
 depend placeins-plain
 depend plipsum
 depend plnfss
+depend plstmary
 depend present
 depend resumemac
 depend timetable
diff --git a/Master/tlpkg/tlpsrc/plstmary.tlpsrc b/Master/tlpkg/tlpsrc/plstmary.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/plstmary.tlpsrc