Using utf8 characters allow a much more readable expression. Math Stackexchange does this.
This can be achieved by modifying one line in textvc:
Just add 4 new range of unicode-points to the allowed character set.
This is possible because MathJax recognize these characters. If MathJax doesn't, it just put the verbatim character to the output svg.
The proposed allowed sets of characters are :
1. greeks \u0370-\u03FF
2. operators \u2200-\u22FF eg. ∀ ∃ ∂ ∈ ⊂ ∫
3. ℕ ℤ ℙ ℚ ℝ ℂ ℍ
4. arrows \u2190-\u21FF eg → ↔ ⇀ ⇒ ↪ ↦
Character table: [[https://en.wikipedia.org/wiki/Mathematical_operators_and_symbols_in_Unicode | link ]]
- literal_id = [a-zA-Z]
+ /* greeks, operators, letter-like symbols, arrows */
+ literal_id = [a-zA-Z¬±×÷♭♮♯\u0370-\u03FF\u2200-\u22FF\u2100-\u214F\u2190-\u21FF]