Есть у меня одна древняя идея, которую хочется воплотить в жизнь, и, периодически, я к ней возвращаюсь. Дело в том, что когда-то условный nikitonsky писал о том, что неплохо бы принять некоторые символы юникода внутрь конструкций языков программирования, например классические символы множеств, логические операторы, кванторы общности и существования. У этого подхода есть одна проблема - этих символов нет на клавиатуре. И набрать их трудновато, приходится костылить решения.