Overbar is now a valid character in a symbol