summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/cmll/cmll.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/cmll/cmll.sty')
-rw-r--r--Master/texmf-dist/tex/latex/cmll/cmll.sty6
1 files changed, 5 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/latex/cmll/cmll.sty b/Master/texmf-dist/tex/latex/cmll/cmll.sty
index 26fcacf180e..c159142e761 100644
--- a/Master/texmf-dist/tex/latex/cmll/cmll.sty
+++ b/Master/texmf-dist/tex/latex/cmll/cmll.sty
@@ -7,7 +7,7 @@
%% cmll.dtx (with options: `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]
\let\cmll@ifemu=\iffalse
\DeclareOption{emu}{\let\cmll@ifemu=\iftrue}
\def\cmll@style{auto}
@@ -101,6 +101,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}
\endinput
%%
%% End of file `cmll.sty'.