lapsed trees."><span class="name">MathExpr</span></a></span><p class="shortcomment cmt">Expression in a language to represent terms in HoTT and
trees representing them in prose, including partially collapsed trees.</p><div class="fullcomment"><div class="comment cmt"><p>Expression in a language to represent terms in HoTT and
trees representing them in prose, including partially collapsed trees.
At the level of structure, we do not make distinctions between words and phrases;
the distinction is specific to t