A ^ before [] means negation.

That's a misunderstanding. The ^ at the start means match the start of the string. A ^ inside [] would be negation.