summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf-dist/doc/fonts/cmll/README12
-rw-r--r--Master/texmf-dist/doc/fonts/cmll/cmll.pdfbin102045 -> 107329 bytes
-rw-r--r--Master/texmf-dist/fonts/source/public/cmll/llcommon.mf61
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfmbin228 -> 184 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfmbin232 -> 188 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfmbin232 -> 188 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfmbin232 -> 188 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfmbin232 -> 188 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfmbin232 -> 188 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfmbin232 -> 188 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfmbin324 -> 280 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfbbin7344 -> 12114 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfbbin7085 -> 12120 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfbbin7299 -> 12474 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfbbin7643 -> 12290 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfbbin7426 -> 12250 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfbbin7187 -> 12359 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfbbin7366 -> 12340 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfbbin7230 -> 12469 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfbbin7115 -> 12083 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfbbin7135 -> 12137 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfbbin7153 -> 12278 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfbbin7086 -> 11986 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfbbin7340 -> 12020 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfbbin7308 -> 11874 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfbbin7264 -> 12510 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfbbin6620 -> 12218 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfbbin6866 -> 7331 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfbbin6726 -> 7225 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfbbin7025 -> 7312 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfbbin6833 -> 7627 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfbbin7196 -> 12611 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfbbin7571 -> 13003 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfbbin7752 -> 8637 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfbbin7837 -> 13087 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfbbin7765 -> 12807 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfbbin7647 -> 12967 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfbbin7664 -> 13140 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfbbin7388 -> 13019 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfbbin7480 -> 13062 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfbbin7541 -> 12838 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfbbin7502 -> 12944 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfbbin7463 -> 7817 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfbbin7510 -> 13079 bytes
-rw-r--r--Master/texmf-dist/source/latex/cmll/cmll.dtx17
-rw-r--r--Master/texmf-dist/tex/latex/cmll/cmll.sty6
71 files changed, 86 insertions, 10 deletions
diff --git a/Master/texmf-dist/doc/fonts/cmll/README b/Master/texmf-dist/doc/fonts/cmll/README
index bcf754d7df1..60caec39ff3 100644
--- a/Master/texmf-dist/doc/fonts/cmll/README
+++ b/Master/texmf-dist/doc/fonts/cmll/README
@@ -2,7 +2,7 @@ This directory contains the CMLL font. This font contains a handful of symbols
used in the linear logic coommunity, designed for use with standard Computer
Modern and AMS Euler fonts.
-This package is dated January 23, 2009.
+This package is dated April 20, 2010.
Installation
@@ -23,7 +23,7 @@ Say
Replace "/usr/share/texmf" by the path of the TeX directory structure where
you want to install the files.
You may have to update TeX's databases by running "texhash" or "mktexlsr"
-(this is for Kpathsea-based distributions like teTeX) or a similar command.
+(this is for Kpathsea-based distributions like TeX Live) or a similar command.
* By hand
@@ -51,9 +51,9 @@ When the files are correctly installed, compiling the file cmll.dtx with latex
will produce a documentation for the package, including the list of defined
symbols.
-To summarise, just say \usepackage{cmll} to get the extra symbols. The class
-options "cm", "ss" and "euler" can be used to explicitly select the standard,
-sans-serif or Euler version of the fonts.
+To summarise, just say \usepackage{cmll} to get the extra symbols. Class
+options may be used to select a particular variant of the font, see the
+documentations for details.
In order to use the Type1 versions, assuming the files are installed as
described above, you need to use the provided file "cmll.map". Please refer to
@@ -71,4 +71,4 @@ Public License (LPPL).
Enjoy !
-(c) Emmanuel Beffara <manu@beffara.org>, 2003--2009
+(c) Emmanuel Beffara <manu@beffara.org>, 2003--2010
diff --git a/Master/texmf-dist/doc/fonts/cmll/cmll.pdf b/Master/texmf-dist/doc/fonts/cmll/cmll.pdf
index 8f4c52fe595..f26a7f83c36 100644
--- a/Master/texmf-dist/doc/fonts/cmll/cmll.pdf
+++ b/Master/texmf-dist/doc/fonts/cmll/cmll.pdf
Binary files differ
diff --git a/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf b/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf
index cc23926c29f..2272e2f05f0 100644
--- a/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf
+++ b/Master/texmf-dist/fonts/source/public/cmll/llcommon.mf
@@ -164,3 +164,64 @@ x1=x2; z2=1/2[z3,z6]; y1-y2=x6-x3;
if top y1>h: y1:=bot h; fi
draw z1..z2;
labels(1,2,3,4,5,6); endchar;
+
+cmchar "Reversed linear map symbol";
+beginchar(15,20u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; lft x6 = u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x9=x2+.5rule_thickness; y9=y10=y2; x10=w-u-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10); endchar;
+
+def negate (expr center) =
+ .5[z101,z102] = center;
+ y102-y101 = 9u;
+ x102-x101 = 2/5 (y102-y101);
+ draw z101---z102;
+ penlabels(101,102);
+enddef;
+
+
+cmchar "Negated multimap symbol";
+beginchar(16,20u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; rt x2=w-u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x9=u+.5rule_thickness; y9=y10=y2; x10=x6-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10);
+negate(.6[z9,z10]);
+endchar;
+
+cmchar "Negated reversed linear map symbol";
+beginchar(17,20u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; lft x6 = u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x9=x2+.5rule_thickness; y9=y10=y2; x10=w-u-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10);
+negate(.4[z9,z10]);
+endchar;
+
+cmchar "Negated linear equivalence symbol";
+beginchar(18,22u#,.8asc_height#,0#);
+adjust_fit(0,0); pickup rule.nib; autorounded;
+numeric circ_diam; circ_diam=5u;
+y2=math_axis; y8=y2+.5circ_diam; rt x2=w-u;
+x6=x2-circ_diam;
+circle_points; draw_circle;
+x11=u+.5rule_thickness; y11=y2;
+draw_circle shifted (z11-z6);
+x9=x11+circ_diam+.5rule_thickness; y9=y10=y2; x10=x6-.5rule_thickness;
+draw z9---z10;
+penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13);
+negate(.5[z9,z10]);
+endchar;
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm
index 90fef39b488..7e74477b4f3 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm
index c0da292b017..3aef2461ea5 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm
index f9e541dbdcb..a8ecf119282 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm
index 45ba1e7b20f..45e9945192e 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm
index e3fda6ccad1..7c47ec5750f 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm
index 0c56dff74a1..b1fc88ceb42 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm
index 9edd644e602..1f7d32ed46a 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm
index 449d55eaf30..1d35a782a14 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm
index 18d23b0b1f7..a7157ecfe88 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm
index 9dd051a0cf8..ece25c8fa75 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm
index 6a8e9f83a67..86f3dc58d38 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm
index fdc76d7c433..aaafcfe1b2d 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm
index b2d4135af7b..e5f67942b19 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm
index 8d68c2c5aa6..39ef851a965 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm
index 8ac36406d1b..637ef8d227d 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm
index 58c5cbfbf33..bc05b327592 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm
index 9d84af0bec9..d5a825898c9 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm
index 5ad183d90de..773a3f9715f 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm
index 365629df994..9f931f10247 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm
index 83f0507e0c6..9c5dafb3da1 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm
index 53406a43efa..0e64c74315b 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm
index bd95ea98283..2e4464f0bac 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm
index 83c10d10723..13e6f33e3eb 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm
index 94062aed92a..6ed58e5cac7 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm
index 73b33994744..8e94ee7f2ef 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm
index b76479bf650..381258d6ba8 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm
index b5fda83277d..3a174a25265 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm
index af3d92ec1ee..235d915fea9 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm
index 7b0f759ba43..c5e646ccc33 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm
index 6eb35d64540..914b69edb4d 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm
index aa77050be53..9e92e20c1f3 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm
index 768e5799304..80e718be98f 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm
index 2e294dae959..b6f5f1e8455 100644
--- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm
+++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb
index ec26442fb3c..abd430ad02c 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb
index 39eb8687ca4..479156d1db7 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb
index bda23565e97..d1cc39c604f 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb
index 7ca2bf22081..e236880a80e 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb
index 56c2f313e30..fe63178c580 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb
index 7c946a03dcb..db93040262e 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb
index 0ab2a1b7d06..463338284aa 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb
index 1e3ddbe400f..96437d343ad 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb
index 9d2226aaf63..3e123d3457a 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb
index 204bda40acf..f7419ded3fd 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb
index 151ca1f6e95..be16e738aa2 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb
index 57c7b6c182d..f0b3260531b 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb
index 537a257a596..6cbeeea7a57 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb
index 4cad708fcb4..bcb9598f647 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb
index d5390f2add5..7c25497c5e0 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb
index 51b5528c977..d2e734c95d3 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb
index f994bd6f414..bb65c14d97c 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb
index 6536ac965a8..5cb50c09ad7 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb
index fb6483e20cb..788c1e0937e 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb
index 34b915427b7..6dd2d3cf458 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb
index 518a81a4c2f..5d42d3da948 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb
index 8243d03b675..a42cb60ef61 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb
index cff924aa383..31fbaeb4588 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb
index bdc29fcfebb..b7116f19b3d 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb
index 3f00b09cb9a..23a6f112c24 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb
index 35a90481b63..d6844a97856 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb
index 1413f628d2f..765a18f935a 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb
index 5721ae2fd49..9e834d12302 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb
index 45de608bdba..8e51f7b5df6 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb
index 5032b9d58a6..31ee3f03d61 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb
index b5879ba7b4b..05d82207ae9 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb
index be82335bec8..1e87a7e2629 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb
index 0f999cb4cf1..a2ff2958c68 100644
--- a/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb
+++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb
Binary files differ
diff --git a/Master/texmf-dist/source/latex/cmll/cmll.dtx b/Master/texmf-dist/source/latex/cmll/cmll.dtx
index 11d254f2acb..82562167abf 100644
--- a/Master/texmf-dist/source/latex/cmll/cmll.dtx
+++ b/Master/texmf-dist/source/latex/cmll/cmll.dtx
@@ -1,6 +1,6 @@
% \title{Linear Logic symbols for Computer Modern}
% \author{Emmanuel Beffara}
-% \date{January 23, 2009}
+% \date{April 20, 2010}
%
% \maketitle
%
@@ -73,9 +73,13 @@
% \dosymbol\scoh
% \dosymbol\incoh
% \dosymbol\sincoh
-% \dosymbol\multimapboth
% \dosymbol\Perp
% \dosymbol\simperp
+% \dosymbol\multimapinv
+% \dosymbol\multimapboth
+% \dosymbol\nmultimap
+% \dosymbol\nmultimapinv
+% \dosymbol\nmultimapboth
% \end{symbols}
% \begin{symbols}{Letter-like symbols:}
% \dosymbol\Bot
@@ -131,6 +135,9 @@
% \subsection{History}
%
% \begin{description}
+% \item [2010-04-20]
+% New symbols: |\multimapinv|, |\nmultimap|, |\nmultimapinv|,
+% |\nmultimapboth|.
% \item [2009-01-23]
% New symbols: |\multimapboth|, |\Perp|, |\Bot|, |\simperp|, |\simbot|.
% Synonyms |\invamp| and |\biginvamp| added for compatibility.
@@ -220,7 +227,7 @@
% \begin{macrocode}
%<*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]
% \end{macrocode}
%
% With the package option |emu|, symbols already defined are used and
@@ -378,6 +385,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}
%</package>
% \end{macrocode}
%
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'.