diff options
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 Binary files differindex 8f4c52fe595..f26a7f83c36 100644 --- a/Master/texmf-dist/doc/fonts/cmll/cmll.pdf +++ b/Master/texmf-dist/doc/fonts/cmll/cmll.pdf 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 Binary files differindex 90fef39b488..7e74477b4f3 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx10.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm Binary files differindex c0da292b017..3aef2461ea5 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx12.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm Binary files differindex f9e541dbdcb..a8ecf119282 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx5.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm Binary files differindex 45ba1e7b20f..45e9945192e 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx6.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm Binary files differindex e3fda6ccad1..7c47ec5750f 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx7.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm Binary files differindex 0c56dff74a1..b1fc88ceb42 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx8.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm Binary files differindex 9edd644e602..1f7d32ed46a 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllbx9.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm Binary files differindex 449d55eaf30..1d35a782a14 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr10.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm Binary files differindex 18d23b0b1f7..a7157ecfe88 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr12.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm Binary files differindex 9dd051a0cf8..ece25c8fa75 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr17.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm Binary files differindex 6a8e9f83a67..86f3dc58d38 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr5.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm Binary files differindex fdc76d7c433..aaafcfe1b2d 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr6.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm Binary files differindex b2d4135af7b..e5f67942b19 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr7.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm Binary files differindex 8d68c2c5aa6..39ef851a965 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr8.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm Binary files differindex 8ac36406d1b..637ef8d227d 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllr9.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm Binary files differindex 58c5cbfbf33..bc05b327592 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss10.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm Binary files differindex 9d84af0bec9..d5a825898c9 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss12.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm Binary files differindex 5ad183d90de..773a3f9715f 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss17.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm Binary files differindex 365629df994..9f931f10247 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss8.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm Binary files differindex 83f0507e0c6..9c5dafb3da1 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllss9.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm Binary files differindex 53406a43efa..0e64c74315b 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/cmllssbx10.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm Binary files differindex bd95ea98283..2e4464f0bac 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx10.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm Binary files differindex 83c10d10723..13e6f33e3eb 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx5.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm Binary files differindex 94062aed92a..6ed58e5cac7 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx6.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm Binary files differindex 73b33994744..8e94ee7f2ef 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx7.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm Binary files differindex b76479bf650..381258d6ba8 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx8.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm Binary files differindex b5fda83277d..3a174a25265 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullbx9.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm Binary files differindex af3d92ec1ee..235d915fea9 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr10.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm Binary files differindex 7b0f759ba43..c5e646ccc33 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr5.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm Binary files differindex 6eb35d64540..914b69edb4d 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr6.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm Binary files differindex aa77050be53..9e92e20c1f3 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr7.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm Binary files differindex 768e5799304..80e718be98f 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr8.tfm diff --git a/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm b/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm Binary files differindex 2e294dae959..b6f5f1e8455 100644 --- a/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm +++ b/Master/texmf-dist/fonts/tfm/public/cmll/eullr9.tfm diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb Binary files differindex ec26442fb3c..abd430ad02c 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx10.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb Binary files differindex 39eb8687ca4..479156d1db7 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx12.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb Binary files differindex bda23565e97..d1cc39c604f 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx5.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb Binary files differindex 7ca2bf22081..e236880a80e 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx6.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb Binary files differindex 56c2f313e30..fe63178c580 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx7.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb Binary files differindex 7c946a03dcb..db93040262e 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx8.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb Binary files differindex 0ab2a1b7d06..463338284aa 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllbx9.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb Binary files differindex 1e3ddbe400f..96437d343ad 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr10.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb Binary files differindex 9d2226aaf63..3e123d3457a 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr12.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb Binary files differindex 204bda40acf..f7419ded3fd 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr17.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb Binary files differindex 151ca1f6e95..be16e738aa2 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr5.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb Binary files differindex 57c7b6c182d..f0b3260531b 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr6.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb Binary files differindex 537a257a596..6cbeeea7a57 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr7.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb Binary files differindex 4cad708fcb4..bcb9598f647 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr8.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb Binary files differindex d5390f2add5..7c25497c5e0 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllr9.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb Binary files differindex 51b5528c977..d2e734c95d3 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss10.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb Binary files differindex f994bd6f414..bb65c14d97c 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss12.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb Binary files differindex 6536ac965a8..5cb50c09ad7 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss17.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb Binary files differindex fb6483e20cb..788c1e0937e 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss8.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb Binary files differindex 34b915427b7..6dd2d3cf458 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllss9.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb Binary files differindex 518a81a4c2f..5d42d3da948 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/cmllssbx10.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb Binary files differindex 8243d03b675..a42cb60ef61 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx10.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb Binary files differindex cff924aa383..31fbaeb4588 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx5.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb Binary files differindex bdc29fcfebb..b7116f19b3d 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx6.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb Binary files differindex 3f00b09cb9a..23a6f112c24 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx7.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb Binary files differindex 35a90481b63..d6844a97856 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx8.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb Binary files differindex 1413f628d2f..765a18f935a 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullbx9.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb Binary files differindex 5721ae2fd49..9e834d12302 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr10.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb Binary files differindex 45de608bdba..8e51f7b5df6 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr5.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb Binary files differindex 5032b9d58a6..31ee3f03d61 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr6.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb Binary files differindex b5879ba7b4b..05d82207ae9 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr7.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb Binary files differindex be82335bec8..1e87a7e2629 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr8.pfb diff --git a/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb b/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb Binary files differindex 0f999cb4cf1..a2ff2958c68 100644 --- a/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb +++ b/Master/texmf-dist/fonts/type1/public/cmll/eullr9.pfb 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'. |