</a> <a href="MathExpr$$Iff.html" title="A bi-implication, kept separate from two implications for definitions etc" class="class"></a><a href="MathExpr$$Iff.html" title="A bi-implication, kept separate from two implications for definitions etc">Iff</a></li><li class="current-entities indented3"><a href="MathExpr$$IsAdj$.html" title="" class="object"></a> <a href="MathExpr$$IsAdj.html" title="is ..." class="class"></a><a href="MathExpr$$IsAdj.html" title="is ...">IsAdj</a></li><li class="current-entities ind