summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source
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/texmf-dist/fonts/source
parentdadf86ec2d90ed4529037604a8dcea9f660045b8 (diff)
new font bguq (20jul12)
git-svn-id: svn://tug.org/texlive/trunk@27110 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source')
-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
11 files changed, 148 insertions, 0 deletions
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