If we were following this idea, then I think source would be displayed according to your preference whenever you looked at it. You'd never need to deal with mul

If we were following this idea, then I think source would be displayed according to your preference whenever you looked at it. You'd never need to deal with multiple symbol variations. The goal would not be to use multiple styles in on code add so much as make style entirely personal.