summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-04-23 00:30:38 +0000
committerKarl Berry <karl@freefriends.org>2010-04-23 00:30:38 +0000
commit66fc062925feca5c8d08eb30d24db824dad349ac (patch)
tree56e1f2d3d4a683eb79720732f3881ebf04ce4a77 /Master/texmf-dist/source
parent26ab3812ef5ec1e9b62810807841661658f2b4e9 (diff)
cmll 20100420 (20apr10)
git-svn-id: svn://tug.org/texlive/trunk@17964 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source')
-rw-r--r--Master/texmf-dist/source/latex/cmll/cmll.dtx17
1 files changed, 14 insertions, 3 deletions
diff --git a/Master/texmf-dist/source/latex/cmll/cmll.dtx b/Master/texmf-dist/source/latex/cmll/cmll.dtx
index 11d254f2acb..82562167abf 100644
--- a/Master/texmf-dist/source/latex/cmll/cmll.dtx
+++ b/Master/texmf-dist/source/latex/cmll/cmll.dtx
@@ -1,6 +1,6 @@
% \title{Linear Logic symbols for Computer Modern}
% \author{Emmanuel Beffara}
-% \date{January 23, 2009}
+% \date{April 20, 2010}
%
% \maketitle
%
@@ -73,9 +73,13 @@
% \dosymbol\scoh
% \dosymbol\incoh
% \dosymbol\sincoh
-% \dosymbol\multimapboth
% \dosymbol\Perp
% \dosymbol\simperp
+% \dosymbol\multimapinv
+% \dosymbol\multimapboth
+% \dosymbol\nmultimap
+% \dosymbol\nmultimapinv
+% \dosymbol\nmultimapboth
% \end{symbols}
% \begin{symbols}{Letter-like symbols:}
% \dosymbol\Bot
@@ -131,6 +135,9 @@
% \subsection{History}
%
% \begin{description}
+% \item [2010-04-20]
+% New symbols: |\multimapinv|, |\nmultimap|, |\nmultimapinv|,
+% |\nmultimapboth|.
% \item [2009-01-23]
% New symbols: |\multimapboth|, |\Perp|, |\Bot|, |\simperp|, |\simbot|.
% Synonyms |\invamp| and |\biginvamp| added for compatibility.
@@ -220,7 +227,7 @@
% \begin{macrocode}
%<*package>
\NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{cmll}[2009/01/23 Linear Logic symbols for Computer Modern]
+\ProvidesPackage{cmll}[2010/04/20 Linear Logic symbols for Computer Modern]
% \end{macrocode}
%
% With the package option |emu|, symbols already defined are used and
@@ -378,6 +385,10 @@
\cmll@declare@symbol{Perp}{\mathrel}{llsymbols}{13}
\cmll@declare@symbol{simbot}{\mathord}{llsymbols}{14}
\cmll@declare@symbol{simperp}{\mathrel}{llsymbols}{14}
+\cmll@declare@symbol{multimapinv}{\mathrel}{llsymbols}{15}
+\cmll@declare@symbol{nmultimap}{\mathrel}{llsymbols}{16}
+\cmll@declare@symbol{nmultimapinv}{\mathrel}{llsymbols}{17}
+\cmll@declare@symbol{nmultimapboth}{\mathrel}{llsymbols}{18}
%</package>
% \end{macrocode}
%