2.3 Evaluation model, symbols, and variables

The main difference between algebraic and symbolic mode lies in the evaluation model:

So symbolic mode programs are much more similar to programs in conventional programming languages such as Pascal or C. All algebraic functionality of REDUCE is available only as an explicit subroutine interface. In contrast to algebraic mode nothing is done implicitly for you.