Fixes #539 Changes \@'s output to start with "_u", not "_", so it will be valid within labels but not numerics