summaryrefslogtreecommitdiff
path: root/fonts/cmll/latex/cmll.sty
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/cmll/latex/cmll.sty')
-rw-r--r--fonts/cmll/latex/cmll.sty110
1 files changed, 110 insertions, 0 deletions
diff --git a/fonts/cmll/latex/cmll.sty b/fonts/cmll/latex/cmll.sty
new file mode 100644
index 0000000000..c159142e76
--- /dev/null
+++ b/fonts/cmll/latex/cmll.sty
@@ -0,0 +1,110 @@
+%%
+%% 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'.