summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/fonts')
-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
30 files changed, 158 insertions, 0 deletions
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