&gt; I think there is a lot of room to improve the visual display of code, but I don&#x27;t think much of it is as the token level.<p>I absolutely agree - the power of mathematics isn&#x27;t so much that people find it easier to read ∊ for set membership testing, or ⊥ for nil&#x2F;undefined, it&#x27;s that one can encode new concepts concisely in new notation. For example: div, grad and curl [1]. What&#x27;s needed isn&#x27;t more maths symbols in code, it&#x27;s more flexible syntax markup.<p>[1] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Vector_calculus_identities#Operator_notations" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Vector_calculus_identities#Ope...</a>