coq-token-symbol-map

Emacs feature

coq-unicode-tokens

Maps strings to display strings. The target strings are not present in the file on disk; they are only displayed by Emacs. Contrast coq-shortcut-alist.

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