The Symbolic Manipulator Microworld is for manipulating numerical expressions symbolically in the sphere of the rational numbers, in order to demonstrate some of their properties. In the Symbolic Manipulator Microworld it is possible to key in (to type) the text of an expression to be manipulated. This manipulations occurs by using axioms-referred keys (on the right of the interface). To carry out the manipulation it is necessary to select that part of the expression on which you want to apply a fixed axiom. Once a part of the expression is selected, only the axioms that can be applied to the part of the selected expression are rendered available by the system from time to time.

The representations realized in the Manipulator Microworld can be copied to be pasted on the Solution Sheet.