Is there a way to prettify symbols without running into alignment issues? E.g. replacing
¬is visually pleasing, but screws up code alignment, b/c
not is 3 chars while
¬ is one char.
Since prettifying symbols only changes the way text is displayed, not how it's actually stored, it doesn't make sense for operations like text alignment to use the prettified instead of underlying representations.