diff options
Diffstat (limited to 'Master')
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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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 Binary files differindex 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}} |