added symbolics