manual:chapter6:symbolic