%% %% This is file `cmll.sty', %% generated with the docstrip utility. %% %% The original source files were: %% %% cmll.dtx (with options: `package') %% \NeedsTeXFormat{LaTeX2e} \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} \DeclareOption*{\edef\cmll@style{\CurrentOption}} \ProcessOptions\relax \RequirePackage{ifthen} \def\cmll@use@auto{% \@ifpackageloaded{euler}{% \def\cmll@style{euler}}{% \@ifpackageloaded{txfonts}{% \let\cmll@ifemu=\iftrue% \def\cmll@style{cm}}{% \@ifpackageloaded{pxfonts}{% \let\cmll@ifemu=\iftrue% \def\cmll@style{cm}}{% \ifthenelse{\equal{\rmdefault}{cmss}}{% \def\cmll@style{ss}}{% \def\cmll@style{cm}}% }}}% \csname cmll@use@\cmll@style\endcsname} \def\cmll@use@cm{% \DeclareSymbolFont{llsymbols}{U}{cmllr}{m}{n}% \SetSymbolFont{llsymbols}{bold}{U}{cmllr}{bx}{n}% \DeclareMathSymbol{\with}{\mathbin}{operators}{`\&}% \DeclareMathSymbol{\oc}{\mathord}{operators}{`!}% \DeclareMathSymbol{\wn}{\mathord}{operators}{`?}} \def\cmll@use@ss{% \DeclareSymbolFont{llsymbols}{U}{cmllss}{m}{n}% \SetSymbolFont{llsymbols}{bold}{U}{cmllss}{bx}{n}% \DeclareMathSymbol{\with}{\mathbin}{operators}{`\&}% \DeclareMathSymbol{\oc}{\mathord}{operators}{`!}% \DeclareMathSymbol{\wn}{\mathord}{operators}{`?}} \def\cmll@use@euler{% \DeclareSymbolFont{llsymbols}{U}{eull}{m}{n}% \SetSymbolFont{llsymbols}{bold}{U}{eull}{bx}{n}% \DeclareMathSymbol{\with}{\mathbin}{EulerFraktur}{"26}% \DeclareMathSymbol{\oc}{\mathord}{EulerFraktur}{"21}% \DeclareMathSymbol{\wn}{\mathord}{EulerFraktur}{"3F}} \csname cmll@use@\cmll@style\endcsname \newcommand\invampemu{% \mathbin{\mathchoice% {\rotatebox[origin=c]{180}{$\&$}}% {\rotatebox[origin=c]{180}{$\&$}}% {\rotatebox[origin=c]{180}{$\scriptstyle\&$}}% {\rotatebox[origin=c]{180}{$\scriptscriptstyle\&$}}% }} \newcommand\bigwithemu{% \mathop{\mathchoice% {\vcenter{\hbox{\relsize{+4}$\&$}}}% {\vcenter{\hbox{\relsize{+2}$\&$}}}% {\vcenter{\hbox{\relsize{+0.5}$\&$}}}% {\vcenter{\hbox{\relsize{-1}$\&$}}}% }} \newcommand\biginvampemu{% \mathop{\mathchoice% {\vcenter{\hbox{\relsize{+4}$\invamp$}}}% {\vcenter{\hbox{\relsize{+2}$\invamp$}}}% {\vcenter{\hbox{\relsize{+0.5}$\invamp$}}}% {\vcenter{\hbox{\relsize{-1}$\invamp$}}}}} \cmll@ifemu \@ifundefined{invamp}{% \RequirePackage{graphicx}% \let\invamp=\invampemu }{}% \RequirePackage{relsize}% \let\bigwith=\bigwithemu \let\biginvamp=\biginvampemu \def\cmll@declare@symbol#1#2#3#4{% \@ifundefined{#1}{% \expandafter\DeclareMathSymbol% \expandafter{\csname#1\endcsname}{#2}{#3}{#4}}{}} \else \def\cmll@declare@symbol#1#2#3#4{% \expandafter\DeclareMathSymbol% \expandafter{\csname#1\endcsname}{#2}{#3}{#4}} \fi \cmll@declare@symbol{invamp}{\mathbin}{llsymbols}{0} \let\parr=\invamp \cmll@declare@symbol{shpos}{\mathord}{llsymbols}{1} \cmll@declare@symbol{shneg}{\mathord}{llsymbols}{2} \cmll@declare@symbol{shift}{\mathord}{llsymbols}{3} \cmll@declare@symbol{coh}{\mathrel}{llsymbols}{4} \cmll@declare@symbol{scoh}{\mathrel}{llsymbols}{5} \cmll@declare@symbol{incoh}{\mathrel}{llsymbols}{6} \cmll@declare@symbol{sincoh}{\mathrel}{llsymbols}{7} \cmll@declare@symbol{bigwith}{\mathop}{llsymbols}{8} \cmll@declare@symbol{biginvamp}{\mathop}{llsymbols}{10} \let\bigparr=\biginvamp \cmll@declare@symbol{multimapboth}{\mathrel}{llsymbols}{12} \cmll@declare@symbol{Bot}{\mathord}{llsymbols}{13} \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'.