summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/fonts/bguq/README (renamed from Master/texmf-dist/doc/fonts/bguq/README.txt)0
-rw-r--r--Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdfbin105648 -> 116806 bytes
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq.mf9
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10.mf5
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfbbin2653 -> 2645 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfbbin2655 -> 2656 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfbbin2653 -> 2646 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfbbin2660 -> 2645 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfbbin2666 -> 2650 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfbbin2645 -> 2650 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfbbin2652 -> 2648 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfbbin2671 -> 2655 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfbbin2631 -> 2642 bytes
-rw-r--r--Master/texmf-dist/source/fonts/bguq/bguq.dtx46
-rw-r--r--Master/texmf-dist/tex/latex/bguq/bguq.sty2
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
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb
Binary files 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
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb
Binary files 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 @@
%
%<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}}