summaryrefslogtreecommitdiff
path: root/fonts/bbold/bbligs.mf
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/bbold/bbligs.mf
Initial commit
Diffstat (limited to 'fonts/bbold/bbligs.mf')
-rw-r--r--fonts/bbold/bbligs.mf91
1 files changed, 91 insertions, 0 deletions
diff --git a/fonts/bbold/bbligs.mf b/fonts/bbold/bbligs.mf
new file mode 100644
index 0000000000..92a38e4775
--- /dev/null
+++ b/fonts/bbold/bbligs.mf
@@ -0,0 +1,91 @@
+% Blackboard bold ligatures, Alan Jeffrey, 13--18 Dec 1989.
+%
+% Provides --, ---, `` and ''.
+% These are put in positions
+%
+% -- oct "173"
+% --- oct "175"
+% `` oct "176"
+% '' oct "042"
+
+ligtable "-": "-" =: oct "173";
+ligtable oct "173": "-" =: oct "175";
+ligtable "`": "`" =: oct "176";
+ligtable "'": "'" =: oct "042";
+
+% -------------------------------------------------------------------
+
+bbchar
+ (oct "173")
+ (smallgap#, 0.5bigcap#, smallgap#)
+ (aTop#, aBottom#);
+
+ "En dash `--'";
+
+ % The line.
+ draw
+ dashMiddle~Left
+ -- dashMiddle~Right
+
+endchar;
+
+% -------------------------------------------------------------------
+
+bbchar
+ (oct "175")
+ (smallgap#, bigcap#, smallgap#)
+ (aTop#, aBottom#);
+
+ "Em dash `---'";
+
+ % The line.
+ draw
+ dashMiddle~Left
+ -- dashMiddle~Right
+
+endchar;
+
+% -------------------------------------------------------------------
+
+bbchar
+ (oct "176")
+ (medgap#, 2tiny# + space#, medgap#)
+ (bTop#, bTop# - tiny# - comma_depth#);
+
+ "Opening quotes ```'";
+
+ % The left quote.
+ draw
+ splodgel above rightof Bottom~Left
+ .. farrightof Top~Left;
+
+ % The right quote.
+ draw
+ splodgel above leftof Bottom~Right
+ .. Top~Right
+
+endchar;
+
+% -------------------------------------------------------------------
+
+bbchar
+ (oct "042")
+ (medgap#, 2tiny# + space#, medgap#)
+ (bTop#, bTop# - tiny# - comma_depth#);
+
+ "Closing quotes `'''";
+
+ % The left quote
+ draw
+ splodger below rightof Top~Left
+ .. Bottom~Left;
+
+ % The right quote
+ draw
+ splodger below leftof Top~Right
+ .. farleftof Bottom~Right
+
+endchar;
+
+% -------------------------------------------------------------------
+