It seems this uses the arrow from the current font instead of something
else, which looks slightly better.
-- (U+00A0).
[' '] = {repr = ' '},
['_'] = {repr = '\\_'},
-- (U+00A0).
[' '] = {repr = ' '},
['_'] = {repr = '\\_'},
- ['->'] = {repr = '\\rightarrow'},
['=>'] = {repr = '⇒'},
-- The default * sits very high above the baseline, \ast (u+2217) looks
-- better.
['=>'] = {repr = '⇒'},
-- The default * sits very high above the baseline, \ast (u+2217) looks
-- better.