Editor config should explain how to configure CoqIDE 8.10 unicode input
CoqIDE 8.10 has a new feature for inputting unicode symbols with LaTeX-to-unicode conversion (triggered by typing shift-space). It's possible to configure the supported bindings (see https://coq.github.io/doc/master/refman/practical-tools/coqide.html#coqide-unicode), so editor.md should give a configuration file with the Iris LaTeX bindings.
Edited by Tej Chajed