-- The default * sits very high above the baseline, \ast (u+2217) looks
-- better.
['*'] = {repr = '\\ast'},
- ['~'] = {repr = '\\sim'},
+ ['~'] = {repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
['|'] = {repr = '\\char' .. utf.byte('|')},
}
['case'] = {},
['of'] = {},
['let'] = {},
+ ['letrec'] = {},
+ ['letnonrec'] = {},
['in'] = {},
}