* Symbolic -> Sym