diff options
author | Karl Berry <karl@freefriends.org> | 2012-08-14 23:19:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-08-14 23:19:37 +0000 |
commit | 65bd60bca9b105b99711257205ddb22d0e80edf5 (patch) | |
tree | 2be663989f905e8e504e64a3187e4b31a65507b6 /Master/texmf-dist/source/fonts | |
parent | d1e2ca35aee235b0d00d2d4c7df3c3b6389b12f8 (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')
-rw-r--r-- | Master/texmf-dist/source/fonts/bguq/bguq.dtx | 46 |
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{} |