symbol=?

symbol=? : (symbol symbol -> boolean)

purpose:
to determine whether two symbols are equal

Reductions:
(symbol=? 'x_1 'x_2) ==> true, if x_1 and x_2 are the same and false otherwise
(symbol=? v_1 v_2) e==> symbol=?: expects argument of type <symbol>
where v_1 is not a symbol or v_2 is not a symbol
(symbol=?) e==> procedure symbol=?: expects 2 arguments
(symbol=? v v v v ...) e==> procedure symbol=?: expects 2 arguments

Beginning Student Language