trees." class="object"></a> <a href="MathExpr.html" title="Expression in a language to represent terms in HoTT and trees representing them in prose, including partially collapsed trees." class="trait"></a><a href="MathExpr.html" title="Expression in a language to represent terms in HoTT and trees representing them in prose, including partially collapsed trees.">MathExpr</a></li><li class="current-entities indented2"><a href="MathReader$.html" title="" class="object"></a> <a href="MathReader.html" title="" c