enhancement for to_db and Symbol.from_db of the Symbol class
enhancement for to_db and Symbol.from_db of the Symbol class