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