Remove a redundant caret in the regex in symbols-view.js

[segevfiner]

Requirements

• Filling out the template is required. Any pull request that does not include enough information to be reviewed in a timely manner may be closed at the maintainers' discretion.
• All new code requires tests to ensure against regressions

Description of the Change

Remove a double caret from a regex in symbols-view.js. To the best of my understanding, this just matches the start of the string twice, which is a no-op.

Benefits

Cleanup.

Possible Drawbacks

None, unless this double caret holds some secret meaning I don't know about. 😉

[50Wliu]

None, unless this double caret holds some secret meaning I don't know about. 😉

Wouldn't surprise me if JavaScript did decide to assign a special meaning to it 🙊