I’m kinda inspired by the Julia and Lean language servers as they exhibit the following behavior:
Let’s say I type “\epsilon” what will happen is a small menu will open which lets me select the real unicode character for ϵ.
It would be nice in typst that if one types the thing to be rendered with a \ for it to be replaced by the corresponding unicode character.
The main benefit one derives from this is to make typst more readable by replacing long words like epsilon with unicode characters ϵ.
As
$ ∫ ∇ ⋅ (γ∇ u ) d Ω $
is better readable than:
$ integral nabla dot (gamma nabla u) d Omega $
yet both is valid typst
My suggestion is not to include that to typst itself. Just implement that into the editor and language server.
Please consider!