[' '] = {repr = '\\obs '},
['_'] = {repr = '\\_'},
['->'] = {repr = '\\rightarrow'},
+ -- The default * sits very high above the baseline, \ast (u+2217) looks
+ -- better.
+ ['*'] = {repr = '\\ast'},
['case'] = {style = 'bold'},
['of'] = {style = 'bold'},
['let'] = {style = 'bold'},