ml" name="provingground.translation.MathWriter" id="provingground.translation.MathWriter" class="extype">MathWriter</a>[<span name="provingground.translation.Statement.appendTo.D" class="extype">D</span>, <span name="provingground.translation.Statement.Define.E" class="extype">E</span>]</span>)</span><span class="result">: <span name="provingground.translation.Statement.appendTo.D" class="extype">D</span></span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a hr