(1)のリストから式を選んで(2)のボタンを押すと、(5)のテキストボックスに選択した等式が追加されます。
(3)のボタンを押すと、(1)のリストの選択された等式が削除されます。
(4)のボタンを押すと、(5)のテキストボックスの内容が削除されます。
2つの等式を選んで(2つの等式が(5)のテキストボックスに表示された状態にして)、(6)から(10)のボタンを押すと、 2つの式を組み合わせた式が、(15)のリストに表示されます。等式は1つだけ選択することもでき、その場合はその同じ等式を2つ選択したことになります。
(11)のボタンを押すと、(15)のリストの内容が削除されます。
(15)のリストの等式を選択して(12)のボタンを押すと、選択した等式が(1)のリストに追加されます。
(15)のリストの等式を選択して(13)のボタンを押すと、選択した等式の「'」を「^」に変えることができるとき(両辺に「'」が１つずつ存在し、それを除くと両辺が同じ式となるとき)、「^」に変えた等式が(1)のリストに追加されます。
(15)のリストの等式を選択して(14)のボタンを押すと、選択した等式の「0^」を変数に変えることができるとき(両辺に「0^」が１つずつ存在するとき)、 変数に変えた等式が(1)のリストに追加されます。
以下のような理由で、両辺が同じ「a + b = a + b」、「a * b = a * b」があります。
第2の等式の左辺(左辺から右辺に変換する場合)が第1の等式の右辺(左辺から右辺に変換する場合)の一部分になっているときに等式を組み合わせることができるようになっています。どちらも他方の一部分になっていない場合は直接組み合わせることができないため、いったん「a + b = a + b」、「a * b = a * b」と組み合わせて一方の式が他方の一部分になるようにする必要があります。
同様の理由で両辺が同じ「a' = a'」もあります。また、「0 = 0」は式の一部を「0」で置き換えるためにあります。「1 = 0'」は「'」の数を減らすためにあります。