summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-07-23 17:21:55 +0000
committerKarl Berry <karl@freefriends.org>2012-07-23 17:21:55 +0000
commitd6443c8e1ba759d9b6289abbcd2696a61f52fb06 (patch)
treecba2aae4adfec17c5a0c24106465da205432b60a /Master
parentdadf86ec2d90ed4529037604a8dcea9f660045b8 (diff)
new font bguq (20jul12)
git-svn-id: svn://tug.org/texlive/trunk@27110 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/fonts/bguq/INSTALL.txt71
-rw-r--r--Master/texmf-dist/doc/fonts/bguq/Makefile38
-rw-r--r--Master/texmf-dist/doc/fonts/bguq/README.txt23
-rw-r--r--Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdfbin0 -> 105648 bytes
-rw-r--r--Master/texmf-dist/fonts/map/dvips/bguq/bguq.map10
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq.mf64
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10.mf12
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t04.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t05.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t06.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t07.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t08.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t09.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t10.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t11.mf8
-rw-r--r--Master/texmf-dist/fonts/source/public/bguq/bguq10t12.mf8
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t04.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t05.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t06.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t07.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t08.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t09.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t10.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t11.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/tfm/public/bguq/bguq10t12.tfmbin0 -> 60 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfbbin0 -> 2653 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfbbin0 -> 2655 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfbbin0 -> 2653 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfbbin0 -> 2660 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfbbin0 -> 2666 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfbbin0 -> 2645 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfbbin0 -> 2652 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfbbin0 -> 2671 bytes
-rw-r--r--Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfbbin0 -> 2631 bytes
-rw-r--r--Master/texmf-dist/source/fonts/bguq/bguq.dtx150
-rw-r--r--Master/texmf-dist/source/fonts/bguq/bguq.ins14
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq04.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq05.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq06.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq07.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq08.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq09.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq10.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq11.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/Ubguq12.fd4
-rw-r--r--Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty230
-rw-r--r--Master/texmf-dist/tex/latex/bguq/bguq.cfg2
-rw-r--r--Master/texmf-dist/tex/latex/bguq/bguq.sty46
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check2
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds6
-rw-r--r--Master/tlpkg/tlpsrc/bguq.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc1
52 files changed, 775 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/fonts/bguq/INSTALL.txt b/Master/texmf-dist/doc/fonts/bguq/INSTALL.txt
new file mode 100644
index 00000000000..1e6bca14383
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bguq/INSTALL.txt
@@ -0,0 +1,71 @@
+Install with Makefile
+---------------------
+
+For Unix: installs into /usr/local/share/texmf, if you want it
+elsewhere then edit the Makefile. Run
+
+ make install
+
+as root
+
+Install manually
+----------------
+
+In the following replace $(TEXMF) by your TeX tree (where TeX
+looks for its files -- this will vary depending on your TeX
+distribution, often /usr/local/share/texmf on Unix systems.
+The output of
+
+ kpsewhich -var-value=TEXMFLOCAL
+
+is probably what you want)
+
+Create directories
+
+ mkdir $(TEXMF)/fonts/source/bguq/
+ mkdir $(TEXMF)/fonts/tfm/bguq/
+ mkdir $(TEXMF)/tex/latex/bguq/
+
+and copy files
+
+ cp *.mf $(TEXMF)/fonts/source/bguq/
+ cp *.tfm $(TEXMF)/fonts/tfm/bguq/
+ cp bguq.sty $(TEXMF)/tex/latex/bguq/
+ cp Ubguq*.fd $(TEXMF)/tex/latex/bguq/
+
+Your TeX distribution may expect you to update its cache
+of files -- if using TeXLive run
+
+ mktexlsr
+
+Installing the PostScript files is more difficult and
+depends on your OS and TeX distribution. For TeXLive
+on Linux
+
+ cp *.pfb $(TEXMF)/fonts/type1/bguq/
+ cp bguq.map $(TEXMF)/fonts/map/dvips/
+ cp bguq.cfg $(TEXMF)/tex/latex/bguq/
+
+then run
+
+ mktexlsr
+ updmap-sys --enable Map=bguq.map
+
+For other systems, or in case of problems see
+
+ http://www.tug.org/fonts/fontinstall.html
+
+Testing
+-------
+
+To test, run
+
+ latex bguq.dtx
+
+and view the file bguq.dvi, then
+
+ pdflatex bguq.dtx
+
+and view bguq.pdf
+
+$Id: INSTALL,v 1.1 2012/07/17 22:50:41 jjg Exp $
diff --git a/Master/texmf-dist/doc/fonts/bguq/Makefile b/Master/texmf-dist/doc/fonts/bguq/Makefile
new file mode 100644
index 00000000000..020ce88d033
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bguq/Makefile
@@ -0,0 +1,38 @@
+# This makefile installs bguq for a TeXLive system running
+# on a Linux system. The install-pfb-texlive target will
+# probably fail on non-TeXLive systems, and almost certainly
+# fail on non-Unix systems
+#
+# $Id: Install.mk,v 1.1 2012/07/17 23:11:50 jjg Exp $
+
+TEXMF = /usr/local/share/texmf
+
+install : install-mf install-tex install-pfb-texlive
+
+install-mf : $(MF)
+ install -d $(TEXMF)/fonts/source/bguq
+ for file in bguq*.mf ; do \
+ install -m 644 $$file $(TEXMF)/fonts/source/bguq/$$file ;\
+ done
+
+install-tex :
+ install -d $(TEXMF)/fonts/tfm/bguq
+ for file in bguq*.tfm ; do \
+ install -m 644 $$file $(TEXMF)/fonts/tfm/bguq/$$file ;\
+ done
+ install -d $(TEXMF)/tex/latex/bguq
+ for file in U*.fd bguq.sty ; do \
+ install -m 644 $$file $(TEXMF)/tex/latex/bguq/$$file ;\
+ done
+
+install-pfb-texlive :
+ install -d $(TEXMF)/tex/latex/bguq/
+ install -m 644 bguq.cfg $(TEXMF)/tex/latex/bguq/bguq.cfg
+ install -d $(TEXMF)/fonts/map/dvips/
+ install -m 644 bguq.map $(TEXMF)/fonts/map/dvips/bguq.map
+ install -d $(TEXMF)/fonts/type1/bguq
+ for file in *.pfb ; do \
+ install -m 644 $$file $(TEXMF)/fonts/type1/bguq/$$file ;\
+ done
+ mktexlsr
+ cd /tmp ; updmap-sys --enable Map=bguq.map
diff --git a/Master/texmf-dist/doc/fonts/bguq/README.txt b/Master/texmf-dist/doc/fonts/bguq/README.txt
new file mode 100644
index 00000000000..00873d53f86
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bguq/README.txt
@@ -0,0 +1,23 @@
+This is the bguq font, a font which contains a single character:
+the Begriffsschrift quantifier, in several sizes, used to set the
+Begriffsschrift (concept notation) of Frege.
+
+This package is not intended for end users, instead it is expected
+that it will be used by other packages which implement the
+Begriffsschrift. Josh Parsons' begriff package
+
+ http://www.tex.ac.uk/tex-archive/macros/latex/contrib/begriff/
+
+or a derivative of it would be the obvious candidates. An example
+of such usage can be found in the included style file begriff-bguq.sty,
+which is an unofficial and modified version of Parsons' begriff.sty,
+included only as an illustration of how package maintainers might
+use the font.
+
+The file begriff-bguq.sty is a derivative work of begriff.sty
+(Copyright (c) 2005 J. Parsons, R. Heck) and so, like it, is
+released under the GNU General Public License (version 2).
+The remainder of this work is Copyright (c) 2012 J.J. Green and
+subject to the LaTeX Project Public License.
+
+J.J. Green 2012
diff --git a/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf b/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf
new file mode 100644
index 00000000000..f8cb03f41fd
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bguq/bguq-doc.pdf
Binary files differ
diff --git a/Master/texmf-dist/fonts/map/dvips/bguq/bguq.map b/Master/texmf-dist/fonts/map/dvips/bguq/bguq.map
new file mode 100644
index 00000000000..7ba3ad0a38c
--- /dev/null
+++ b/Master/texmf-dist/fonts/map/dvips/bguq/bguq.map
@@ -0,0 +1,10 @@
+% ps font map for bguq
+bguq10t04 bguq10t04 <bguq10t04.pfb
+bguq10t05 bguq10t05 <bguq10t05.pfb
+bguq10t06 bguq10t06 <bguq10t06.pfb
+bguq10t07 bguq10t07 <bguq10t07.pfb
+bguq10t08 bguq10t08 <bguq10t08.pfb
+bguq10t09 bguq10t09 <bguq10t09.pfb
+bguq10t10 bguq10t10 <bguq10t10.pfb
+bguq10t11 bguq10t11 <bguq10t11.pfb
+bguq10t12 bguq10t12 <bguq10t12.pfb
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq.mf
new file mode 100644
index 00000000000..36b6bacb691
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq.mf
@@ -0,0 +1,64 @@
+% This file contains a single character, the Begriffsschrift
+% 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 $
+
+% from mflogo/logo.mf, modified to have a variable superness
+
+def super_half(suffix i,j,k)(expr s) =
+ draw z.i{0, y.j-y.i}
+ ... (s[x.j, x.i], s[y.i, y.j]){z.j-z.i}
+ ... z.j{x.k-x.i,0}
+ ... (s[x.j, x.k], s[y.k, y.j]){z.k-z.j}
+ ... z.k{0, y.k-y.j}
+enddef;
+
+mode_setup;
+
+proofing := 2;
+define_pixels(u);
+define_pixels(bglt);
+
+% The width 14.4u# is chosen so that at 10pt (where u=20/36)
+% the width is 8pt, as in the original begriff quantifier.
+% The depth is the same as for the descender for the base
+% font (fraktur in this case)
+
+beginchar(oct"040", 14.4u# - 2bglt#, 0, desc_depth#);
+
+ % the super value determines the shape of the bowl
+ % which is a superellipse:
+ % - at 1.000 is a rectangle,
+ % - at 0.707 (i.e., sqrt(2)/2) is an ellipse
+ % - at 0.500 is a diamond
+ % we use a value a little larger than 0.707 giving a
+ % stroke which is noticably squarer than an ellipse
+
+ numeric super;
+ super := 0.78;
+
+ y1 = y3 = 0;
+ y2 + d = bglt/2;
+ x1 = w - x3 = -bglt/2;
+ x2 = w/2;
+
+ pickup pencircle scaled bglt;
+ super_half(1,2,3,super);
+
+ % clean off the ends of the (round pen) stroke
+
+ unfill (x1-bglt/2,y1) --
+ (x3+bglt/2,y3) --
+ (x3+bglt/2,y3+bglt/2) --
+ (x1-bglt/2,y1+bglt/2) --
+ cycle;
+
+ penlabels(1,2,3);
+
+endchar;
+
+end
+
+% fin
+ \ No newline at end of file
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf
new file mode 100644
index 00000000000..49731d45615
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf
@@ -0,0 +1,12 @@
+% bguq for 10pt fraktur
+% $Id: bguq10.mf,v 1.2 2012/07/16 21:51:50 jjg Exp $
+font_size 10pt#;
+% values taken from gothic/xxfrak.mf
+u# := 20/36pt#; % unit width
+x_height# := 167/36pt#; % height of lowercase without ascenders
+desc_depth# := 70/36pt#; % depth of lowercase descenders
+
+% fin
+
+
+
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t04.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t04.mf
new file mode 100644
index 00000000000..6f41fc7ccaf
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t04.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 4/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ04";
+bglt# := 4/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t05.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t05.mf
new file mode 100644
index 00000000000..2657bb02afc
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t05.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 5/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ05";
+bglt# := 5/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t06.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t06.mf
new file mode 100644
index 00000000000..8e9f0107b66
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t06.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 6/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ06";
+bglt# := 6/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t07.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t07.mf
new file mode 100644
index 00000000000..df9a02a6dfd
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t07.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 7/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ07";
+bglt# := 7/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t08.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t08.mf
new file mode 100644
index 00000000000..359438af096
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t08.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 8/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ08";
+bglt# := 8/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t09.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t09.mf
new file mode 100644
index 00000000000..9b98f8019ae
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t09.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 9/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ09";
+bglt# := 9/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t10.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t10.mf
new file mode 100644
index 00000000000..19ed4380337
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t10.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 10/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ10";
+bglt# := 10/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t11.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t11.mf
new file mode 100644
index 00000000000..30cae478b2c
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t11.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 11/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ11";
+bglt# := 11/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10t12.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10t12.mf
new file mode 100644
index 00000000000..9451760a88d
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10t12.mf
@@ -0,0 +1,8 @@
+% autogenerated by bguq.sh - do not edit
+% bguq for 10 fraktur and 12/10pt lines
+if unknown bguq10: input bguq10 fi
+font_identifier := "BGUQ12";
+bglt# := 12/10pt#;
+bght# := 0pt#;
+input bguq
+% fin
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t04.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t04.tfm
new file mode 100644
index 00000000000..35a51c17185
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t04.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t05.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t05.tfm
new file mode 100644
index 00000000000..f3a721c7d19
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t05.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t06.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t06.tfm
new file mode 100644
index 00000000000..29e759c9902
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t06.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t07.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t07.tfm
new file mode 100644
index 00000000000..1f572e24617
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t07.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t08.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t08.tfm
new file mode 100644
index 00000000000..3c72b54f3d6
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t08.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t09.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t09.tfm
new file mode 100644
index 00000000000..87fe654a895
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t09.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t10.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t10.tfm
new file mode 100644
index 00000000000..98302e89a6f
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t10.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t11.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t11.tfm
new file mode 100644
index 00000000000..02338e72d31
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t11.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t12.tfm b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t12.tfm
new file mode 100644
index 00000000000..1d47eb07560
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/bguq/bguq10t12.tfm
Binary files differ
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
new file mode 100644
index 00000000000..613cc9e282d
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..6f06a9de52a
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..f784789e677
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..7ddd789c9ce
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..1dad3ddbdb4
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..a9d488d00c8
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..cbce73c439a
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..b8c89f9b3eb
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..ff6400d04c4
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..703a9ab2036
--- /dev/null
+++ b/Master/texmf-dist/source/fonts/bguq/bguq.dtx
@@ -0,0 +1,150 @@
+% \iffalse meta-comment
+%
+% Copyright 2012 J.J. Green
+% $Id: bguq.dtx,v 1.6 2012/07/18 22:45:37 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
+%
+% \fi
+%
+% \CheckSum{844}
+%% \CharacterTable
+%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+%% Digits \0\1\2\3\4\5\6\7\8\9
+%% Exclamation \! Double quote \" Hash (number) \#
+%% Dollar \$ Percent \% Ampersand \&
+%% Acute accent \' Left paren \( Right paren \)
+%% Asterisk \* Plus \+ Comma \,
+%% Minus \- Point \. Solidus \/
+%% Colon \: Semicolon \; Less than \<
+%% Equals \= Greater than \> Question mark \?
+%% Commercial at \@ Left bracket \[ Backslash \\
+%% Right bracket \] Circumflex \^ Underscore \_
+%% Grave accent \` Left brace \{ Vertical bar \|
+%% Right brace \} Tilde \~}
+%
+% \iffalse % this is a METACOMMENT !
+%
+%<package>\NeedsTeXFormat{LaTeX2e}
+%<package>\ProvidesPackage{bguq}
+%<-driver> [2012/07/19 0.3
+%<package> Begriffsschrift universal quantifier package]
+%
+%<*driver>
+\documentclass[10pt]{ltxdoc}
+\OnlyDescription
+\usepackage[8]{bguq}
+\usepackage[bguq]{begriff-bguq}
+\setlength{\BGthickness}{0.8pt}
+\usepackage{amssymb}
+\providecommand\dst{\expandafter{\normalfont\scshape docstrip}}
+\renewcommand{\quad}{{\hskip1em plus 2em}}
+\begin{document}
+\DocInput{bguq.dtx}
+\end{document}
+%</driver>
+% \fi
+%
+% \GetFileInfo{bguq.sty}
+% \title{The \texttt{bguq} macro package for \LaTeXe}
+% \author{J.J. Green}
+% \date{Version \fileversion{} \filedate}
+% \maketitle
+%
+% \setcounter{StandardModuleDepth}{1}
+%
+% \noindent
+% This file defines the package |bguq| which provides \LaTeXe\ access
+% to the \textit{Begriffsschrift} universal quantifier ``$\bguq$''
+% from the \texttt{bguq} font in a small number of sizes. These are
+% are designed for setting the \textit{Begriffsschrift} diagrams used
+% by Frege.
+%
+% The package takes a single option which is an integer between
+% 4 and 12, this specifying the line-thickness of the quantifier
+% stroke in units of $1/10$\,pt for a document font-size of 10\,pt.
+% If the option is not specified then the value \texttt{8} will be
+% assumed. Note that the size of the symbol produced will depend on
+% 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.
+%
+% The package provides only two commands: the |\bguq| macro which,
+% in math-mode, produces the quantifer symbol, and |\bguqwidth| which
+% is a the width of the symbol (for use in fancy placement). It is not
+% 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.
+% \[
+% \BGnot\BGquant{\mathfrak{g}}2+3.\mathfrak{g}=5\mathfrak{g},
+% \]
+%
+% \StopEventually{}
+%
+% \section{The \dst{} modules}
+%
+% The following modules are used in the implementation to direct
+% \dst{} in generating the external files:
+% \begin{center}
+% \begin{tabular}{ll}
+% driver & produce a documentation driver file \\
+% package & produce a package file \\
+% \end{tabular}
+% \end{center}
+%
+% \section{The Implementation}
+% \subsection{The macro package}
+%
+%<*package>
+% There is one font file for each possible thickness of
+% the Begriff stroke, indicated by an integer giving the
+% value in units of $1/10$pt. We have an option for each
+% of the integers $4,\ldots,12$, and that option detemines
+% the variable |\bguqfont| (with default value for $8/10$pt).
+% \begin{macrocode}
+\def\bguqfont{bguq08}
+\DeclareOption{4}{\def\bguqfont{bguq04}}
+\DeclareOption{5}{\def\bguqfont{bguq05}}
+\DeclareOption{6}{\def\bguqfont{bguq06}}
+\DeclareOption{7}{\def\bguqfont{bguq07}}
+\DeclareOption{8}{\def\bguqfont{bguq08}}
+\DeclareOption{9}{\def\bguqfont{bguq09}}
+\DeclareOption{10}{\def\bguqfont{bguq10}}
+\DeclareOption{11}{\def\bguqfont{bguq11}}
+\DeclareOption{12}{\def\bguqfont{bguq12}}
+\ProcessOptions\relax
+% \end{macrocode}
+% The symbol font declared is just the value of |\bguqfont|.
+% \begin{macrocode}
+\DeclareSymbolFont{\bguqfont}{U}{\bguqfont}{m}{n}
+% \end{macrocode}
+%
+% There is a single special symbol defined from this font:
+% \begin{macrocode}
+\DeclareMathSymbol{\bguq}{\mathord}{\bguqfont}{"20}
+\newlength{\bguqwidth}
+\settowidth{\bguqwidth}{\ensuremath\bguq}
+% \end{macrocode}
+% The character sizing
+% \begin{macrocode}
+\DeclareMathSizes{10}{10}{7}{5}
+% \end{macrocode}
+%</package>
+% \end{macrocode}
+%
+% The next line goes into all files and in addition prevents \dst{}
+% from adding any further code from the main source file (such as a
+% character table).
+% \begin{macrocode}
+\endinput
+% \end{macrocode}
+%
+% \DeleteShortVerb{\|}
+% \Finale
diff --git a/Master/texmf-dist/source/fonts/bguq/bguq.ins b/Master/texmf-dist/source/fonts/bguq/bguq.ins
new file mode 100644
index 00000000000..1e4366f8291
--- /dev/null
+++ b/Master/texmf-dist/source/fonts/bguq/bguq.ins
@@ -0,0 +1,14 @@
+% -*- tex -*-
+% fge.ins
+% docstrip wrapper for fge
+% J.J. Green 2005
+% $Id: bguq.ins,v 1.1 2012/07/16 22:04:14 jjg Exp $
+\def\batchfile{bguq.ins}
+\input docstrip.tex
+\preamble
+docstrip wrapper for bguq
+\endpreamble
+\keepsilent
+\generateFile{bguq.sty}{t}{\from{bguq.dtx}{package}}
+\endinput
+
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq04.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq04.fd
new file mode 100644
index 00000000000..022b7ab75f3
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq04.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq04}{}
+\DeclareFontShape{U}{bguq04}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t04
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq05.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq05.fd
new file mode 100644
index 00000000000..3ed3331a0c1
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq05.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq05}{}
+\DeclareFontShape{U}{bguq05}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t05
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq06.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq06.fd
new file mode 100644
index 00000000000..0ea46defd64
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq06.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq06}{}
+\DeclareFontShape{U}{bguq06}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t06
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq07.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq07.fd
new file mode 100644
index 00000000000..934f7673445
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq07.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq07}{}
+\DeclareFontShape{U}{bguq07}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t07
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq08.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq08.fd
new file mode 100644
index 00000000000..96c18880b42
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq08.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq08}{}
+\DeclareFontShape{U}{bguq08}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t08
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq09.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq09.fd
new file mode 100644
index 00000000000..5c49e25fd32
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq09.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq09}{}
+\DeclareFontShape{U}{bguq09}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t09
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq10.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq10.fd
new file mode 100644
index 00000000000..b3f9b24c4c3
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq10.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq10}{}
+\DeclareFontShape{U}{bguq10}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t10
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq11.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq11.fd
new file mode 100644
index 00000000000..f5dfcdb495b
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq11.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq11}{}
+\DeclareFontShape{U}{bguq11}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t11
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/Ubguq12.fd b/Master/texmf-dist/tex/latex/bguq/Ubguq12.fd
new file mode 100644
index 00000000000..696a7af6136
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/Ubguq12.fd
@@ -0,0 +1,4 @@
+\DeclareFontFamily{U}{bguq12}{}
+\DeclareFontShape{U}{bguq12}{m}{n}{%
+<5><6><7><8><9><10><10.95><12><14.4><17.28> bguq10t12
+}{}
diff --git a/Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty b/Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty
new file mode 100644
index 00000000000..9cda902b988
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/begriff-bguq.sty
@@ -0,0 +1,230 @@
+% begriffHeck.sty - a LaTeX2e package for typesetting begriffsschrift
+
+% Copyright (C) 2003 by Josh Parsons <josh@coombs.anu.edu.au>
+%
+% This program is free software; you can redistribute it and/or modify
+% it under the terms of the GNU General Public License as published by
+% the Free Software Foundation; either version 2 of the License, or
+% (at your option) any later version.
+%
+% This program is distributed in the hope that it will be useful,
+% but WITHOUT ANY WARRANTY; without even the implied warranty of
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+% General Public License for more details.
+%
+% You should have received a copy of the GNU General Public License
+% along with this program; if not, write to the Free Software
+% Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111,
+% USA.
+
+% Changes made in October 2004 by Richard Heck <heck@fas.harvard.edu>
+% Purpose of changes: To make the format of the formulae closer to how
+% they are set in Frege's published works.
+%
+% Minor changes by Josh Parsons to fix problem with linespacing (May 2005)
+
+%%% identification
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{begriff-bguq}
+
+% bguq : setup for bguq option
+\RequirePackage{ifthen}
+\newboolean{with@bguq}
+\setboolean{with@bguq}{false}
+\DeclareOption{bguq}{\setboolean{with@bguq}{true}}
+
+%%% initial code
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% thickness of lines
+\newlength{\BGthickness}
+\setlength{\BGthickness}{0.4pt}
+
+% additional length after a quantifier, conditional, negation, or assertion
+\newlength{\BGafterlen}
+\setlength{\BGafterlen}{2pt}
+
+% additional length before a quantifier, conditional, or negation
+\newlength{\BGbeforelen}
+\setlength{\BGbeforelen}{2pt}
+
+% space inserted before a formula
+\newlength{\BGspace}
+\setlength{\BGspace}{3pt}
+
+% total width of diagram
+% Heck (10/2004): Due to changes below, this is the total width of the DIAGRAM
+% and does not include the width of the terminal formulae. In previous versions,
+% it did include them.
+\newlength{\BGlinewidth}
+\setlength{\BGlinewidth}{\linewidth}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%% options
+%\DeclareOption{nothanks}{
+% \renewcommand{\mythanks}[1]{}
+% \let\@mythanks\relax
+%}
+\ProcessOptions
+
+%%% package dependencies
+
+%%% main code
+\ifthenelse{\boolean{with@bguq}}{%
+ \newcommand{\quanttype}{bguq }}{%
+ \newcommand{\quanttype}{qbezier }}
+\typeout{Begriffsschrift: 20 May 2005 (with \quanttype quantifier)}
+
+% bguq : info on quantifier
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% variable-sized parenthesis
+\newcommand{\BGbracket}[1]{%
+\setbox0=\hbox{\ensuremath{#1}}%
+\dimen0=\dp0%
+\addtolength{\dimen0}{.5\baselineskip}%
+\left(\vbox to \dp0 {\vskip.5\baselineskip\box0\vss}\right)%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a terminal node with fill-line to the left
+\newcommand{\BGterm}[1]{\unskip%
+\setbox0=\hbox{%
+\setlength{\BGlinewidth}{0pt}%
+\vrule height \baselineskip depth 0pt width 0pt% strut
+\vrule height \BGthickness width \BGafterlen depth 0pt%
+\ensuremath{\hskip\BGspace #1}%
+}%
+% Heck (10/2004): Removed the following line, so that the terminal formulae will
+% be left-aligned, as in Frege's published works.
+%\addtolength{\BGlinewidth}{-\wd0}%
+\vrule height \BGthickness width \BGlinewidth depth 0pt%
+\box0%
+\setlength{\BGlinewidth}{0pt}%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% box up some maths and subtract its width from linewidth
+% Heck (10/2004): Because of the changes above, this should no longer be needed.
+% It remains for compatibility with previous versions.
+\newcommand{\BGstem}[1]{\unskip%
+\setbox0=\hbox{%
+\setlength{\BGlinewidth}{0pt}%
+\ensuremath{\hskip\BGspace #1}%
+}%
+\addtolength{\BGlinewidth}{-\wd0}%
+\box0%
+\hskip\BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a conditional \BGconditional{antecedent}{consequent}
+\newcommand{\BGconditional}[2]{\unskip%
+\addtolength{\BGlinewidth}{-\BGbeforelen}%
+\setbox0=\hbox{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule height \baselineskip depth 3pt width 0pt% strut
+\vrule height \BGthickness width \BGafterlen depth 0pt%
+\ensuremath{\hskip\BGspace #1}%
+}%
+\setbox1=\hbox{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule height 0pt depth .3\baselineskip width 0pt% strut
+\vrule height \BGthickness width \BGafterlen depth 0pt%
+\ensuremath{\hskip\BGspace #2}%
+}%
+\dimen0=0pt%
+\addtolength{\dimen0}{\dp1}%
+\addtolength{\dimen0}{\ht0}%
+\addtolength{\dimen0}{\lineskip}%
+\hbox{%
+\vrule width \BGbeforelen height \BGthickness depth 0pt%
+\kern-\BGthickness%
+\vrule width \BGthickness height \BGthickness depth \dimen0%
+\vtop{\box1\box0}%
+}%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate an assertion sign
+\newcommand{\BGassert}[0]{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\addtolength{\BGlinewidth}{-\BGthickness}%
+\vrule width \BGthickness height 5pt depth 5pt%
+\vrule depth 0pt height \BGthickness width \BGafterlen%
+\hskip \BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a content stroke
+\newcommand{\BGcontent}[0]{%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule depth 0pt height \BGthickness width \BGafterlen%
+\hskip \BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a negation
+\newcommand{\BGnot}[0]{\unskip%
+\addtolength{\BGlinewidth}{-\BGbeforelen}%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\vrule width \BGbeforelen height \BGthickness depth 0pt%
+\kern-\BGthickness%
+\vrule width \BGthickness height \BGthickness depth 3pt%
+\vrule depth 0pt height \BGthickness width \BGafterlen%
+\hskip \BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% generate a universal quantifier
+\newcommand{\BGquant}[1]{\unskip%
+\addtolength{\BGlinewidth}{-\BGbeforelen}%
+\addtolength{\BGlinewidth}{-8pt}%
+\addtolength{\BGlinewidth}{-\BGafterlen}%
+\hbox{%
+\vrule width \BGbeforelen height \BGthickness depth 0pt%
+% bguq : draw the quantifier stroke depending in the value
+% of the with@bguq variable
+\ifthenelse{\boolean{with@bguq}}{%
+ % using bguq
+ \ensuremath\bguq
+ \kern-\bguqwidth
+ \vbox{%
+ \hbox to \bguqwidth%
+ {\hfill$\scriptstyle{\mathfrak{#1}}$\hfill}%
+ \vskip1pt}%
+}{%
+ % using qbezier
+ \setlength{\unitlength}{1pt}%
+ \kern-\BGthickness%
+ \begin{picture}(8,0)(0,0)%
+ \linethickness{\BGthickness}%
+ \qbezier(0,0)(4,-4)(8,0)%
+ \end{picture}%
+ \kern-8pt%
+ \vbox{\hbox to 8pt {%
+ \hskip1pt\hskip\BGthickness\hss$_{\mathfrak{#1}}$\hss}\vskip1pt}%
+}%
+% Heck (10/2004): Added "\mathfrak", since variables are
+% always fraktur over quantifiers
+\vrule width \BGafterlen height \BGthickness depth 0pt%
+}%
+\hskip\BGspace%
+}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Heck (10/2004): Convenience functions
+% Heck: What I'd like to do is add another (optional) argument to
+% \BGif, so that if it is p, the premise is treated as \BGterm;
+% if it is c, the conculsion is; if it is d, both are. But this will
+% do for now.
+\newcommand{\BGif}[2]{\BGconditional{#1}{#2}}
+% Treat premise as a terminal node
+\newcommand{\BGifp}[2]{\BGconditional{\BGterm{#1}}{#2}}
+% Treat conclusion as a terminal node
+\newcommand{\BGifc}[2]{\BGconditional{#1}{\BGterm{#2}}}
+% Treat both as terminal nodes
+\newcommand{\BGifb}[2]{\BGconditional{\BGterm{#1}}{\BGterm{#2}}}
+\newcommand{\BGneg}[0]{\BGnot}
+\newcommand{\BGall}[1]{\BGquant{#1}}
diff --git a/Master/texmf-dist/tex/latex/bguq/bguq.cfg b/Master/texmf-dist/tex/latex/bguq/bguq.cfg
new file mode 100644
index 00000000000..0385c7ceb9f
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/bguq.cfg
@@ -0,0 +1,2 @@
+Map bguq.map
+
diff --git a/Master/texmf-dist/tex/latex/bguq/bguq.sty b/Master/texmf-dist/tex/latex/bguq/bguq.sty
new file mode 100644
index 00000000000..3ab4e222e8d
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/bguq/bguq.sty
@@ -0,0 +1,46 @@
+%%
+%% This is file `bguq.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% bguq.dtx (with options: `package')
+%% docstrip wrapper for bguq
+%% \CharacterTable
+%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+%% Digits \0\1\2\3\4\5\6\7\8\9
+%% Exclamation \! Double quote \" Hash (number) \#
+%% Dollar \$ Percent \% Ampersand \&
+%% Acute accent \' Left paren \( Right paren \)
+%% Asterisk \* Plus \+ Comma \,
+%% Minus \- Point \. Solidus \/
+%% Colon \: Semicolon \; Less than \<
+%% Equals \= Greater than \> Question mark \?
+%% Commercial at \@ Left bracket \[ Backslash \\
+%% Right bracket \] Circumflex \^ Underscore \_
+%% Grave accent \` Left brace \{ Vertical bar \|
+%% Right brace \} Tilde \~}
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{bguq}
+ [2012/07/19 0.3
+ Begriffsschrift universal quantifier package]
+\def\bguqfont{bguq08}
+\DeclareOption{4}{\def\bguqfont{bguq04}}
+\DeclareOption{5}{\def\bguqfont{bguq05}}
+\DeclareOption{6}{\def\bguqfont{bguq06}}
+\DeclareOption{7}{\def\bguqfont{bguq07}}
+\DeclareOption{8}{\def\bguqfont{bguq08}}
+\DeclareOption{9}{\def\bguqfont{bguq09}}
+\DeclareOption{10}{\def\bguqfont{bguq10}}
+\DeclareOption{11}{\def\bguqfont{bguq11}}
+\DeclareOption{12}{\def\bguqfont{bguq12}}
+\ProcessOptions\relax
+\DeclareSymbolFont{\bguqfont}{U}{\bguqfont}{m}{n}
+\DeclareMathSymbol{\bguq}{\mathord}{\bguqfont}{"20}
+\newlength{\bguqwidth}
+\settowidth{\bguqwidth}{\ensuremath\bguq}
+\DeclareMathSizes{10}{10}{7}{5}
+\endinput
+%%
+%% End of file `bguq.sty'.
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 4c9e8828e85..68f4a64aa52 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -54,7 +54,7 @@ my @TLP_working = qw(
beameraudience beamerposter
beamerthemejltree beamersubframe beamerthemenirma
beebe begriff bengali bera berenisadf betababel beton
- bez123 bezos bgreek bgteubner bhcexam
+ bez123 bezos bgreek bgteubner bguq bhcexam
bib-fr bibarts biber bibhtml
biblatex biblatex-apa biblatex-bwl biblatex-chem biblatex-chicago
biblatex-dw biblatex-fiwi biblatex-historian
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 051caf034f8..f432084d745 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -490,6 +490,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`);
'lamstex', "die 'skipping, old'",
'lamstex-index', "die 'skipping, old'",
'labtable', "die 'skipping, nonfree w32 application'",
+ 'lastbib', "die 'skipping, nonfree'",
'latex_maker', "die 'skipping, ruby'",
'latex-help-texinfo', "die 'skipping, use latex2e-help-texinfo'",
'latex-make', "die 'skipping, subprograms seem problematic'",
@@ -1882,11 +1883,12 @@ my $core_latex = "$Master/texmf-dist/tex/latex";
%specialinsrunner = (
'antomega' => 'latex', # requires interaction
'apa6e' => 'latex', # requires interaction
- 'beamersubframe' => 'latex', # requires interaction
+ 'beamersubframe' => 'latex',# requires interaction
'basque-date' => 'latex', # requires interaction
+ 'bguq' => 'latex', # requires interaction
'bosisio' => 'latex -translate-file=empty.tcx', # ^^, no 8-bit
'bullcntr' => 'latex', # requires interaction
- 'canoniclayout' => 'tex',
+ 'canoniclayout'=> 'tex',
'carlisle' => "env TEXINPUTS=$core_latex/base:$core_latex/tools:. latex",
'chickenize' => 'luatex',
'clefval' => 'latex -translate-file=empty.tcx', # no 8-bit
diff --git a/Master/tlpkg/tlpsrc/bguq.tlpsrc b/Master/tlpkg/tlpsrc/bguq.tlpsrc
new file mode 100644
index 00000000000..493569ed3f6
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/bguq.tlpsrc
@@ -0,0 +1 @@
+execute addMap ${PKGNAME}.map
diff --git a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
index 7040c74986f..f9c17ace6a4 100644
--- a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
@@ -25,6 +25,7 @@ depend bbold-type1
depend belleek
depend bera
depend berenisadf
+depend bguq
depend blacklettert1
depend boisik
depend bookhands