bguq (14aug12)

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

15 files changed, 49 insertions, 13 deletions

diff --git a/Master/texmf-dist/doc/fonts/bguq/README.txt b/Master/texmf-dist/doc/fonts/bguq/README
index 00873d53f86..00873d53f86 100644
--- a/Master/texmf-dist/doc/fonts/bguq/README.txt
+++ b/Master/texmf-dist/doc/fonts/bguq/README
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
--- a/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf
+++ b/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb
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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb
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 @@
 %
 %<package>\NeedsTeXFormat{LaTeX2e}
 %<package>\ProvidesPackage{bguq}
-%<-driver>             [2012/07/19 0.3
+%<-driver>             [2012/08/05 0.4
 %<package>              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}}