diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/cmll/cmll.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/cmll/cmll.sty | 6 |
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'. |