diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fdsymbol/fddelims.mf | 20 |
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; |