-- (U+00A0).
{symbol = ' ', repr = ' '},
{symbol = '_', repr = '\\_'},
+ {symbol = '->>', repr = '\\twoheadrightarrow'},
{symbol = '->', repr = '→'},
{symbol = '=>', repr = '⇒'},
-- The default * sits very high above the baseline, \ast (u+2217) looks
{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