Symbol: eqn_def