new (cm linear logic fonts) package cmll (1mar06)

git-svn-id: svn://tug.org/texlive/trunk@1904 c570f23f-e606-0410-a88d-b1316a301751

4 files changed, 104 insertions, 0 deletions

diff --git a/Master/texmf-dist/tex/latex/cmll/cmll.sty b/Master/texmf-dist/tex/latex/cmll/cmll.sty
new file mode 100644
index 00000000000..0dfafc81651
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/cmll/cmll.sty
@@ -0,0 +1,53 @@
+%%
+%% This is file `cmll.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% cmll.dtx  (with options: `package')
+%% 
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{cmll}[2006/02/22 Linear Logic symbols for Computer Modern]
+\def\cmll@style{auto}
+\DeclareOption*{\edef\cmll@style{\CurrentOption}}
+\ProcessOptions\relax
+\RequirePackage{ifthen}
+\def\cmll@use@auto{%
+  \@ifpackageloaded{euler}{%
+    \def\cmll@style{euler}}{%
+    \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
+\DeclareMathSymbol{\parr}{\mathbin}{llsymbols}{0}
+\DeclareMathSymbol{\shpos}{\mathord}{llsymbols}{1}
+\DeclareMathSymbol{\shneg}{\mathord}{llsymbols}{2}
+\DeclareMathSymbol{\shift}{\mathord}{llsymbols}{3}
+\DeclareMathSymbol{\coh}{\mathrel}{llsymbols}{4}
+\DeclareMathSymbol{\scoh}{\mathrel}{llsymbols}{5}
+\DeclareMathSymbol{\incoh}{\mathrel}{llsymbols}{6}
+\DeclareMathSymbol{\sincoh}{\mathrel}{llsymbols}{7}
+\DeclareMathSymbol{\bigwith}{\mathop}{llsymbols}{8}
+\DeclareMathSymbol{\bigparr}{\mathop}{llsymbols}{10}
+\endinput
+%%
+%% End of file `cmll.sty'.
diff --git a/Master/texmf-dist/tex/latex/cmll/ucmllr.fd b/Master/texmf-dist/tex/latex/cmll/ucmllr.fd
new file mode 100644
index 00000000000..ea51225ef1c
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/cmll/ucmllr.fd
@@ -0,0 +1,17 @@
+%%
+%% This is file `ucmllr.fd',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% cmll.dtx  (with options: `ucmllr')
+%% 
+\DeclareFontShape{U}{cmllr}{m}{n}{%
+      <5><6><7><8><9>gen*cmllr%
+      <10->cmllr10}{}
+\DeclareFontShape{U}{cmllr}{bx}{n}{%
+      <5><6><7><8><9>gen*cmllbx%
+      <10->cmllbx10}{}
+\endinput
+%%
+%% End of file `ucmllr.fd'.
diff --git a/Master/texmf-dist/tex/latex/cmll/ucmllss.fd b/Master/texmf-dist/tex/latex/cmll/ucmllss.fd
new file mode 100644
index 00000000000..52335e02a6b
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/cmll/ucmllss.fd
@@ -0,0 +1,17 @@
+%%
+%% This is file `ucmllss.fd',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% cmll.dtx  (with options: `ucmllss')
+%% 
+\DeclareFontShape{U}{cmllss}{m}{n}{%
+      <-8>cmllss8%
+      <9>cmllss9%
+      <10->cmllss10}{}
+\DeclareFontShape{U}{cmllss}{bx}{n}{%
+      <->cmllssbx10}{}
+\endinput
+%%
+%% End of file `ucmllss.fd'.
diff --git a/Master/texmf-dist/tex/latex/cmll/ueull.fd b/Master/texmf-dist/tex/latex/cmll/ueull.fd
new file mode 100644
index 00000000000..6c4611ebe1e
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/cmll/ueull.fd
@@ -0,0 +1,17 @@
+%%
+%% This is file `ueull.fd',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% cmll.dtx  (with options: `ueull')
+%% 
+\DeclareFontShape{U}{eull}{m}{n}{%
+      <5><6><7><8><9>gen*eullr%
+      <10->eullr10}{}
+\DeclareFontShape{U}{eull}{bx}{n}{%
+      <5><6><7><8><9>gen*eullbx%
+      <10->eullbx10}{}
+\endinput
+%%
+%% End of file `ueull.fd'.