• In Emacs
• In CoqIDE (using UIM on POSIX systems)
• Alternative input methods