Trying to improve the definition of symbols.