 <a href="HoTT$$SymbEquality.html" title="" class="class"></a><a href="HoTT$$SymbEquality.html" title="">SymbEquality</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$SymbObj.html" title="symbolic objects that are Terms but no more refined ie, not pairs, formal functions etc." class="class"></a><a href="HoTT$$SymbObj.html" title="symbolic objects that are Terms but no more refined ie, not pairs, formal functions etc.">SymbObj</a></li><li class="current-entities i