BAR
(%i2) eq_1 : equal (x, x + 1);
(%o2)                    equal(x, x + 1)
(%i3) eq_2 : equal (y^2 + 2*y + 1, (y + 1)^2);
                         2                   2
(%o3)             equal(y  + 2 y + 1, (y + 1) )
(%i4) [eq_1 and eq_2, eq_1 or eq_2, not eq_1];
(%o4)                  [false, true, true]
</pre>
<p>Da <code>not <var>expr</var></code> den Ausdruck <var>expr</var> auswertet, ist 
<code>not equal(<var>a</var>, <var>b</var>)</code> &auml;quivalent zu 
<code>is(notequal(<var>a</var>, <var>b</va