Is there a way to prettify symbols without running into alignment issues? E.g. replacing not
with ¬
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.