blob: ebc53f47e4bfe4e095f204523d754f1119dd1c2c (
plain)
1
2
3
4
5
6
7
8
9
10
|
diaer=oct"042"; % double quote
ligtable "-": "-" =: oct"000"; % en-dash
ligtable "(": "(" =: oct"173"; % open quotes
ligtable ")": ")" =: oct"175"; % close quotes
ligtable diaer: "'" =: oct"042";%
ligtable "<" : "'" =: oct"176";
ligtable ">" : "'" =: oct"176";
ligtable "'" : "'" =: oct"035";
ligtable oct"034" : oct"036" kern .8u#;
|