div name="scala.Product" class="parent"><h3>Inherited from <span name="scala.Product" class="extype">Product</span></h3></div><div name="scala.Equals" class="parent"><h3>Inherited from <span name="scala.Equals" class="extype">Equals</span></h3></div><div name="provingground.translation.MathExpr" class="parent"><h3>Inherited from <a href="MathExpr.html" name="provingground.translation.MathExpr" id="provingground.translation.MathExpr" class="extype">MathExpr</a></h3></div><div name="scala.AnyRef" class="paren