symbolic deffirentation