We'll have to use the glyph from our roman font, since our sans font
doesn't have it.
['~'] = {repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
['|'] = {repr = '\\char' .. utf.byte('|')},
['$'] = {repr = '\\char' .. utf.byte('$')},
['~'] = {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
}
-- Keywords that should be bold