new font bguq (20jul12)

git-svn-id: svn://tug.org/texlive/trunk@27110 c570f23f-e606-0410-a88d-b1316a301751

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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