Ír be, hogy a+b = c , de itt az egyenlõségjelet a logikai eszköztár egyenlõségjelével (Boolean Toolbar) kell megadni (egérrel kattints rá), majd szimbólikus mûveletek eszköztárából (Symbolic Keyword Toolbar, a sapka ikon) a solve parancsra kell kattintani, majd meg kell adni a b -t változónak.