['*'] = {repr = '\\ast'},
['~'] = {repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
['|'] = {repr = '\\char' .. utf.byte('|')},
- ['$'] = {repr = '\\char' .. utf.byte('$')},
+ -- Use ▶ from our roman font, since Iwona doesn't have the glyph
+ ['▶'] = {repr = '{\\rm{}▶}'},
}
-- Keywords that should be bold