3 ms·
> let the editor replace != with the Unicode slashed equals character Julia editor plugins let you do that - not an automatic replacement, but you can type the
by sundarurfriend 3y ago
> let the editor replace != with the Unicode slashed equals character
Julia editor plugins let you do that - not an automatic replacement, but you can type the Latex for a symbol and press <Tab>, for eg. `\ne<Tab>` to get `≠`.
I suppose there could be an automatic-replacement mode, for those that have exact ASCII equivalents. So that, for eg., the editor replacing `!=` in your code with `≠` doesn't affect anyone else, because they're exactly equivalent and others can continue using `!=` if they prefer that.