Support for goto-symbol