Уже довольно давно везде доминирует UTF-8, в GNU/Linux это системная локаль по умолчанию, и в этой кодировке и файловая система и большинство текстовых файлов.
Языки программирования, использующие особые символы появились давно, например APL появился ещё в 1964 году, но он сильно опередил своё время, поскольку тогда ещё не было никаких юникодов и не-ASCII символы автоматически сильно ограничивали переносимость на другие системы. Но сейчас-то особых препятствий уже нет.
А как с этим в ваших любимых языках — поддерживают ли они не-ascii символы вне строк вообще? Есть ли языки, где юникодные символы определены в стандартной библиотеке, кроме APL?
А что вы думаете насчёт того, чтобы применить например #define в C, чтобы в самом коде можно было использовать ≤ ≥ ≠ ≡ вместо <= >= != == например? Кроме того, можно использовать греческие буквы для имён переменных, например ε обозначать предел при интерполяции.
В других языках можно другие операторы заменять, например → ⇒ вместо -> =>
Вводить их можно как специальными средствами текстового редактора, так и общеиксовыми методами ввода, например использованием Compose. Не знаю, можно ли настроить или нет, чтобы разные символы вводились одновременным нажатием двух кнопок, но это тоже вариант. Так же есть AltGr и возможность сделать для этого специальную раскладку.
Кстати, теоретически, на основе юникода можно в принципе вообще заменить английские лексемы, сделав языки программирования международными — например вместо слова print использовать иконку принтера.
Но это так, отдельные символы. А что если использовать что-то вроде LaTeX-а чтобы программы вообще имели двухмерную типографскую нотацию?