well, you can always program in wenyan: https://github.com/wenyan-lang/wenyan https://github.com/wenyan-lang/wenyan But seriously, it's 2021. We are no longer

well, you can always program in wenyan: https://github.com/wenyan-lang/wenyan https://github.com/wenyan-lang/wenyan But seriously, it's 2021. We are no longer slave to ASCII, or even English. Most of the newer math oriented langs have heavy use of unicode (julia, agda, lean, etc).