manual:chapter3:symbolic