coq-shortcut-alist

Maps input key sequences to Unicode strings. The resulting strings are present verbatim in the file on disk. Contrast coq-token-symbol-map.

Has a setter (coq-unicode-tokens-set), so it needs to be set via setopt or some such.