I agree with Mat - there is no user-visible reason that "^3HE Fridge"
shouldn't be an acceptable label.
So - perhaps the pre-parser should take Duncan's advice and prepend a {} to
the label automagically if it starts with a ^ or _ (and the equation text
method should remove it when).
cbn