From 65bd60bca9b105b99711257205ddb22d0e80edf5 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 14 Aug 2012 23:19:37 +0000 Subject: bguq (14aug12) git-svn-id: svn://tug.org/texlive/trunk@27401 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/fonts/bguq/README | 23 +++++++++++ Master/texmf-dist/doc/fonts/bguq/README.txt | 23 ----------- Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf | Bin 105648 -> 116806 bytes Master/texmf-dist/fonts/source/public/bguq/bguq.mf | 9 ++-- .../texmf-dist/fonts/source/public/bguq/bguq10.mf | 5 ++- .../fonts/type1/public/bguq/bguq10t04.pfb | Bin 2653 -> 2645 bytes .../fonts/type1/public/bguq/bguq10t05.pfb | Bin 2655 -> 2656 bytes .../fonts/type1/public/bguq/bguq10t06.pfb | Bin 2653 -> 2646 bytes .../fonts/type1/public/bguq/bguq10t07.pfb | Bin 2660 -> 2645 bytes .../fonts/type1/public/bguq/bguq10t08.pfb | Bin 2666 -> 2650 bytes .../fonts/type1/public/bguq/bguq10t09.pfb | Bin 2645 -> 2650 bytes .../fonts/type1/public/bguq/bguq10t10.pfb | Bin 2652 -> 2648 bytes .../fonts/type1/public/bguq/bguq10t11.pfb | Bin 2671 -> 2655 bytes .../fonts/type1/public/bguq/bguq10t12.pfb | Bin 2631 -> 2642 bytes Master/texmf-dist/source/fonts/bguq/bguq.dtx | 46 +++++++++++++++++---- Master/texmf-dist/tex/latex/bguq/bguq.sty | 2 +- 16 files changed, 72 insertions(+), 36 deletions(-) create mode 100644 Master/texmf-dist/doc/fonts/bguq/README delete mode 100644 Master/texmf-dist/doc/fonts/bguq/README.txt diff --git a/Master/texmf-dist/doc/fonts/bguq/README b/Master/texmf-dist/doc/fonts/bguq/README new file mode 100644 index 00000000000..00873d53f86 --- /dev/null +++ b/Master/texmf-dist/doc/fonts/bguq/README @@ -0,0 +1,23 @@ +This is the bguq font, a font which contains a single character: +the Begriffsschrift quantifier, in several sizes, used to set the +Begriffsschrift (concept notation) of Frege. + +This package is not intended for end users, instead it is expected +that it will be used by other packages which implement the +Begriffsschrift. Josh Parsons' begriff package + + http://www.tex.ac.uk/tex-archive/macros/latex/contrib/begriff/ + +or a derivative of it would be the obvious candidates. An example +of such usage can be found in the included style file begriff-bguq.sty, +which is an unofficial and modified version of Parsons' begriff.sty, +included only as an illustration of how package maintainers might +use the font. + +The file begriff-bguq.sty is a derivative work of begriff.sty +(Copyright (c) 2005 J. Parsons, R. Heck) and so, like it, is +released under the GNU General Public License (version 2). +The remainder of this work is Copyright (c) 2012 J.J. Green and +subject to the LaTeX Project Public License. + +J.J. Green 2012 diff --git a/Master/texmf-dist/doc/fonts/bguq/README.txt b/Master/texmf-dist/doc/fonts/bguq/README.txt deleted file mode 100644 index 00873d53f86..00000000000 --- a/Master/texmf-dist/doc/fonts/bguq/README.txt +++ /dev/null @@ -1,23 +0,0 @@ -This is the bguq font, a font which contains a single character: -the Begriffsschrift quantifier, in several sizes, used to set the -Begriffsschrift (concept notation) of Frege. - -This package is not intended for end users, instead it is expected -that it will be used by other packages which implement the -Begriffsschrift. Josh Parsons' begriff package - - http://www.tex.ac.uk/tex-archive/macros/latex/contrib/begriff/ - -or a derivative of it would be the obvious candidates. An example -of such usage can be found in the included style file begriff-bguq.sty, -which is an unofficial and modified version of Parsons' begriff.sty, -included only as an illustration of how package maintainers might -use the font. - -The file begriff-bguq.sty is a derivative work of begriff.sty -(Copyright (c) 2005 J. Parsons, R. Heck) and so, like it, is -released under the GNU General Public License (version 2). -The remainder of this work is Copyright (c) 2012 J.J. Green and -subject to the LaTeX Project Public License. - -J.J. Green 2012 diff --git a/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf b/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf index f8cb03f41fd..32f153b96d3 100644 Binary files a/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf and b/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf differ diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq.mf index 36b6bacb691..e5d72aefe96 100644 --- a/Master/texmf-dist/fonts/source/public/bguq/bguq.mf +++ b/Master/texmf-dist/fonts/source/public/bguq/bguq.mf @@ -2,7 +2,7 @@ % universal quantifier (the code being the same as for the cm % "blank space" symbol). % -% $Id: bguq.mf,v 1.5 2012/07/18 19:05:04 jjg Exp $ +% $Id: bguq.mf,v 1.6 2012/07/22 23:12:01 jjg Exp $ % from mflogo/logo.mf, modified to have a variable superness @@ -36,9 +36,9 @@ beginchar(oct"040", 14.4u# - 2bglt#, 0, desc_depth#); % stroke which is noticably squarer than an ellipse numeric super; - super := 0.78; + super := 0.77; - y1 = y3 = 0; + y1 = y3 = bglt/2; y2 + d = bglt/2; x1 = w - x3 = -bglt/2; x2 = w/2; @@ -48,7 +48,8 @@ beginchar(oct"040", 14.4u# - 2bglt#, 0, desc_depth#); % clean off the ends of the (round pen) stroke - unfill (x1-bglt/2,y1) -- + unfill + (x1-bglt/2,y1) -- (x3+bglt/2,y3) -- (x3+bglt/2,y3+bglt/2) -- (x1-bglt/2,y1+bglt/2) -- diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf index 49731d45615..47f93acc271 100644 --- a/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf +++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf @@ -1,6 +1,9 @@ % bguq for 10pt fraktur -% $Id: bguq10.mf,v 1.2 2012/07/16 21:51:50 jjg Exp $ +% $Id: bguq10.mf,v 1.3 2012/07/22 23:12:11 jjg Exp $ + +% this a formality, we only generate for 10pt (as fraktur) font_size 10pt#; + % values taken from gothic/xxfrak.mf u# := 20/36pt#; % unit width x_height# := 167/36pt#; % height of lowercase without ascenders diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb index 613cc9e282d..5c384c1d1f5 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb index 6f06a9de52a..34ea0c4baf6 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb index f784789e677..8a3745deee8 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb index 7ddd789c9ce..ea35b8da4fc 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb index 1dad3ddbdb4..11189c68ddd 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb index a9d488d00c8..01825f72529 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb index cbce73c439a..68f9b21c074 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb index b8c89f9b3eb..94df91ebc4b 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb differ diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb index ff6400d04c4..f6ee7f8cd27 100644 Binary files a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb and b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb differ diff --git a/Master/texmf-dist/source/fonts/bguq/bguq.dtx b/Master/texmf-dist/source/fonts/bguq/bguq.dtx index 703a9ab2036..134c447b66a 100644 --- a/Master/texmf-dist/source/fonts/bguq/bguq.dtx +++ b/Master/texmf-dist/source/fonts/bguq/bguq.dtx @@ -1,12 +1,16 @@ % \iffalse meta-comment % % Copyright 2012 J.J. Green -% $Id: bguq.dtx,v 1.6 2012/07/18 22:45:37 jjg Exp $ +% $Id: bguq.dtx,v 1.9 2012/08/05 15:39:27 jjg Exp $ % % Changes: % 0.1 - 2012/07/16 - first working version % 0.2 - 2012/07/18 - code tidying, comments -% 0.3 - 2012/xx/xx - documentation fixes +% 0.3 - 2012/07/19 - documentation fixes +% 0.4 - 2012/08/05 - made the stroke slightly rounder and lifted +% the terminals to the middle (rather than the bottom) of +% the horzontal stoke, this gives a better appearence for +% very thick lines % % \fi % @@ -31,7 +35,7 @@ % %\NeedsTeXFormat{LaTeX2e} %\ProvidesPackage{bguq} -%<-driver> [2012/07/19 0.3 +%<-driver> [2012/08/05 0.4 % Begriffsschrift universal quantifier package] % %<*driver> @@ -72,7 +76,7 @@ % the font size of the document (since the symbol needs to be wide % enough to accomodate the variable quantified) and the line-thickness % is scaled similarly --- in a 12\,pt document the line will be 1.2 -% times thicker, and so on. +% times the thickness, and so on. % % The package provides only two commands: the |\bguq| macro which, % in math-mode, produces the quantifer symbol, and |\bguqwidth| which @@ -80,10 +84,38 @@ % expected that these commands will be used by end-users directly, % rather they are intended for package writers. % -% Below we see the result of a test implementation in the -% \texttt{begriff} package by Josh Parsons and Richard Heck. +% Below we see the results in a test implementation in the +% \texttt{begriff} package by Josh Parsons and Richard Heck: +% the Geach--Kaplan sentence (as orignally set by Marcus Rossberg). % \[ -% \BGnot\BGquant{\mathfrak{g}}2+3.\mathfrak{g}=5\mathfrak{g}, +% \setlength{\BGlinewidth}{1.0in} +% \BGnot \BGquant{\mathfrak{F}}% +% \BGconditional{ +% \BGquant{\mathfrak{c}}\BGquant{\mathfrak{d}} +% \BGconditional{ +% \BGnot +% \BGconditional{ +% \BGterm{A(\mathfrak{c},\mathfrak{d})} +% }{ +% \BGnot \BGterm{\mathfrak{F}(\mathfrak{c})}} +% }{ +% \BGnot \BGconditional{ +% \BGterm{\mathfrak{F}(\mathfrak{d})} +% }{ +% \BGterm{\mathfrak{c}=\mathfrak{d}} +% } +% } +% }{ +% \BGconditional{ +% \BGnot\BGquant{\mathfrak{b}}\BGnot\BGterm{\mathfrak{F}(\mathfrak{b})} +% }{ +% \BGterm{f \BGbracket{\BGquant{\mathfrak{a}} \BGconditional{ +% \mathfrak{F}(\mathfrak{a}) +% }{ +% C(\mathfrak{a}) +% }}} +% } +% } % \] % % \StopEventually{} diff --git a/Master/texmf-dist/tex/latex/bguq/bguq.sty b/Master/texmf-dist/tex/latex/bguq/bguq.sty index 3ab4e222e8d..f8e69d9beff 100644 --- a/Master/texmf-dist/tex/latex/bguq/bguq.sty +++ b/Master/texmf-dist/tex/latex/bguq/bguq.sty @@ -23,7 +23,7 @@ %% Right brace \} Tilde \~} \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{bguq} - [2012/07/19 0.3 + [2012/08/05 0.4 Begriffsschrift universal quantifier package] \def\bguqfont{bguq08} \DeclareOption{4}{\def\bguqfont{bguq04}} -- cgit v1.2.3