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