summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf')
-rw-r--r--Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf20
1 files changed, 18 insertions, 2 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf b/Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf
index 8c33b047404..a0d652e8e12 100644
--- a/Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf
+++ b/Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf
@@ -1,5 +1,5 @@
%
-% Copyright (c) 2011, Michael Ummels <michael.ummels@rwth-aachen.de>
+% Copyright (c) 2012, Michael Ummels <michael.ummels@rwth-aachen.de>
%
% This Font Software is licensed under the SIL Open Font License,
% Version 1.1. This license is in the accompanying file OFL.txt, and
@@ -426,7 +426,7 @@ extensible current_char: 0, 0, 0, current_char; % double vertical line
charlist current_char - 5: current_char -4: current_char;
for scale = 1, 1.2:
- beginsymbol(8u# + 3line_thickness# + 2side_bearing#, vcentre(2scale * delim_height#)); "tripe vertical bar";
+ beginsymbol(8u# + 3line_thickness# + 2side_bearing#, vcentre(2scale * delim_height#)); "triple vertical bar";
x0 = x1;
x2 = x3;
x4 = x5;
@@ -583,3 +583,19 @@ endchar;
extensible current_char - 2: current_char - 2, 0, current_char - 1, current_char;
charlist root_char: root_char + 1: root_char + 2: root_char + 3: root_char + 4: root_char + 5: current_char - 2;
+
+% more roots
+
+for scale = 1, 1.2, 1.5, 1.8, 2.4, 3:
+ beginsymbol((4scale + 2) * u# + 5/2line_thickness# + 2side_bearing#, vcentre(2scale * delim_height#)); "root";
+ draw_root(line_thickness);
+ endchar;
+endfor;
+
+beginsymbol(14u# + 5/2line_thickness# + 2side_bearing#, 1.2delim_height#, 0); "root -- top";
+ draw_root_top(line_thickness);
+endchar;
+
+beginsymbol(14u# + 5/2line_thickness# + 2side_bearing#, 2.4delim_height#, 0); "root -- bottom";
+ draw_root_bot(line_thickness);
+endchar;