Aha, just found it. This is an Emacs configuration, not a Proof General one, given in the overlay-arrow-string
variable. To turn it off, just set the variable to ""
in your Emacs configuration puttng this in your .emacs
:
(setq overlay-arrow-string "")