next up previous contents index
Next: equalities,inequalities Up: EqualityCondition Previous: EqualityCondition   Contents   Index

$=$


\begin{usage} a=b\\ a\~{}= b \end{usage}


Signature


\begin{params} {\em a,b} & T & elements of T\\ \end{params}

\begin{retval} Return a condition that stipulates that $a=b$\ (resp.~$a \ne b$) \end{retval}

Manuel Bronstein 2000-12-13