From 66fc062925feca5c8d08eb30d24db824dad349ac Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Fri, 23 Apr 2010 00:30:38 +0000 Subject: cmll 20100420 (20apr10) git-svn-id: svn://tug.org/texlive/trunk@17964 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/fonts/cmll/README | 12 ++-- Master/texmf-dist/doc/fonts/cmll/cmll.pdf | Bin 102045 -> 107329 bytes .../fonts/source/public/cmll/llcommon.mf | 61 +++++++++++++++++++++ .../texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm | Bin 228 -> 184 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm | Bin 228 -> 184 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm | Bin 228 -> 184 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm | Bin 228 -> 184 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm | Bin 228 -> 184 bytes Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm | Bin 228 -> 184 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm | Bin 232 -> 188 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm | Bin 232 -> 188 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm | Bin 232 -> 188 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm | Bin 232 -> 188 bytes .../texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm | Bin 232 -> 188 bytes .../fonts/tfm/public/cmll/cmllssbx10.tfm | Bin 232 -> 188 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm | Bin 324 -> 280 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm | Bin 324 -> 280 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm | Bin 324 -> 280 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm | Bin 324 -> 280 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm | Bin 324 -> 280 bytes .../texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm | Bin 324 -> 280 bytes .../texmf-dist/fonts/tfm/public/cmll/eullr10.tfm | Bin 324 -> 280 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm | Bin 324 -> 280 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm | Bin 324 -> 280 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm | Bin 324 -> 280 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm | Bin 324 -> 280 bytes Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm | Bin 324 -> 280 bytes .../fonts/type1/public/cmll/cmllbx10.pfb | Bin 7344 -> 12114 bytes .../fonts/type1/public/cmll/cmllbx12.pfb | Bin 7085 -> 12120 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb | Bin 7299 -> 12474 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb | Bin 7643 -> 12290 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb | Bin 7426 -> 12250 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb | Bin 7187 -> 12359 bytes .../texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb | Bin 7366 -> 12340 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr10.pfb | Bin 7230 -> 12469 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr12.pfb | Bin 7115 -> 12083 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr17.pfb | Bin 7135 -> 12137 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr5.pfb | Bin 7153 -> 12278 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr6.pfb | Bin 7086 -> 11986 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr7.pfb | Bin 7340 -> 12020 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr8.pfb | Bin 7308 -> 11874 bytes .../texmf-dist/fonts/type1/public/cmll/cmllr9.pfb | Bin 7264 -> 12510 bytes .../fonts/type1/public/cmll/cmllss10.pfb | Bin 6620 -> 12218 bytes .../fonts/type1/public/cmll/cmllss12.pfb | Bin 6866 -> 7331 bytes .../fonts/type1/public/cmll/cmllss17.pfb | Bin 6726 -> 7225 bytes .../texmf-dist/fonts/type1/public/cmll/cmllss8.pfb | Bin 7025 -> 7312 bytes .../texmf-dist/fonts/type1/public/cmll/cmllss9.pfb | Bin 6833 -> 7627 bytes .../fonts/type1/public/cmll/cmllssbx10.pfb | Bin 7196 -> 12611 bytes .../fonts/type1/public/cmll/eullbx10.pfb | Bin 7571 -> 13003 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx5.pfb | Bin 7752 -> 8637 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx6.pfb | Bin 7837 -> 13087 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx7.pfb | Bin 7765 -> 12807 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx8.pfb | Bin 7647 -> 12967 bytes .../texmf-dist/fonts/type1/public/cmll/eullbx9.pfb | Bin 7664 -> 13140 bytes .../texmf-dist/fonts/type1/public/cmll/eullr10.pfb | Bin 7388 -> 13019 bytes .../texmf-dist/fonts/type1/public/cmll/eullr5.pfb | Bin 7480 -> 13062 bytes .../texmf-dist/fonts/type1/public/cmll/eullr6.pfb | Bin 7541 -> 12838 bytes .../texmf-dist/fonts/type1/public/cmll/eullr7.pfb | Bin 7502 -> 12944 bytes .../texmf-dist/fonts/type1/public/cmll/eullr8.pfb | Bin 7463 -> 7817 bytes .../texmf-dist/fonts/type1/public/cmll/eullr9.pfb | Bin 7510 -> 13079 bytes Master/texmf-dist/source/latex/cmll/cmll.dtx | 17 +++++- Master/texmf-dist/tex/latex/cmll/cmll.sty | 6 +- 71 files changed, 86 insertions(+), 10 deletions(-) (limited to 'Master') 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 , 2003--2009 +(c) Emmanuel Beffara , 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 Binary files a/Master/texmf-dist/doc/fonts/cmll/cmll.pdf and b/Master/texmf-dist/doc/fonts/cmll/cmll.pdf 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm 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 Binary files a/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm and b/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb 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 Binary files a/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb and b/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb 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} % % \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'. -- cgit v1.2.3