diff options
author | Karl Berry <karl@freefriends.org> | 2010-04-23 00:30:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-04-23 00:30:38 +0000 |
commit | 66fc062925feca5c8d08eb30d24db824dad349ac (patch) | |
tree | 56e1f2d3d4a683eb79720732f3881ebf04ce4a77 /Master/texmf-dist/source/latex/cmll | |
parent | 26ab3812ef5ec1e9b62810807841661658f2b4e9 (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/latex/cmll')
-rw-r--r-- | Master/texmf-dist/source/latex/cmll/cmll.dtx | 17 |
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} % |