> <span class="symbol"><span class="name">newobj</span><span class="result">: <a href="" name="provingground.HoTT.SymbObj" id="provingground.HoTT.SymbObj" class="extype">SymbObj</a>[<span name="provingground.HoTT.SymbObj.U" class="extype">U</span>]</span></span><p class="shortcomment cmt">A new object with the same type,
to be used in place of a variable to avoid name clashes.</p><div class="fullcomment"><div class="comment cmt"><p>A new object with the same type,
to be used in place of a variable to avoid 