{symbol = '*', repr = '\\ast'},
{symbol = '~', repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
{symbol = '|', repr = '\\char' .. utf.byte('|')},
{symbol = '*', repr = '\\ast'},
{symbol = '~', repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
{symbol = '|', repr = '\\char' .. utf.byte('|')},