Системный ввод Agda
Ввод Agda — это метод ввода для Emacs, который позволяет писать и использовать юникод.вместо этого вставил. Это делает написание математических символов более удобным, чем это было бы при обычном использовании.Ctrl+Shift+U+(unicode point), хотя бы потому, что гораздо легче запомнить и найти\bVчем1D54D. Режим также поставляется с предлагаемыми автозаполнениями.
Можно ли повторить этот метод ввода в системе, а не только внутри emacs? Есть ли уже доступное программное обеспечение для этого?