diff options
author | Karl Berry <karl@freefriends.org> | 2012-07-23 17:21:55 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-07-23 17:21:55 +0000 |
commit | d6443c8e1ba759d9b6289abbcd2696a61f52fb06 (patch) | |
tree | cba2aae4adfec17c5a0c24106465da205432b60a /Master/texmf-dist/fonts/source/public | |
parent | dadf86ec2d90ed4529037604a8dcea9f660045b8 (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/public')
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 |