tml" name="provingground.HoTT.Symbolic" id="provingground.HoTT.Symbolic" class="extype">Symbolic</a></h3></div><div name="provingground.HoTT.Term" class="parent"><h3>Inherited from <a href="HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a></h3></div><div name="provingground.HoTT.Subs" class="parent"><h3>Inherited from <a href="HoTT$$Subs.html" name="provingground.HoTT.Subs" id="provingground.HoTT.Subs" class="extype">Subs</a>[<a href="HoTT$$Term.html" name=