symbol=?
symbol=? : (symbol symbol -> boolean)
purpose: to determine whether two symbols are equal