summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/fonts/bguq
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-08-14 23:19:37 +0000
committerKarl Berry <karl@freefriends.org>2012-08-14 23:19:37 +0000
commit65bd60bca9b105b99711257205ddb22d0e80edf5 (patch)
tree2be663989f905e8e504e64a3187e4b31a65507b6 /Master/texmf-dist/source/fonts/bguq
parentd1e2ca35aee235b0d00d2d4c7df3c3b6389b12f8 (diff)
bguq (14aug12)
git-svn-id: svn://tug.org/texlive/trunk@27401 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/fonts/bguq')
-rw-r--r--Master/texmf-dist/source/fonts/bguq/bguq.dtx46
1 files changed, 39 insertions, 7 deletions
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{}