Il Micromondo Manipolatore Simbolico consente di manipolare simbolicamente espressioni numeriche nel dominio dei numeri razionali al fine di dimostrarne alcune proprietà. Nel Micromondo Manipolatore Simbolico è possibile digitare il testo di una espressione da manipolare. Tale manipolazione avviene utilizzando tasti (presenti nella parte destra dell’interfaccia) che fanno riferimento ad assiomi. Per realizzare la manipolazione occorre selezionare la parte dell’espressione sulla quale si vuole applicare un determinato assioma. Di volta in volta, selezionata una parte dell’espressione, vengono resi disponibili dal sistema solo gli assiomi che possono essere applicati alla parte di espressione selezionata.

Le rappresentazioni realizzate nel Micromondo Manipolatore possono essere copiate per essere incollate nel Foglio Soluzione.