Added go-to-symbol