lt.ReadWriter[SP]"></a> <span class="permalink"><a href="../../provingground/translation/MathExpr$$SP$.html#rw:upickle.default.ReadWriter[provingground.translation.MathExpr.SP]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier">implicit </span> <span class="kind">def</span></span> <span class="symbol"><span class="name">rw</span><span class="result">: <span name="upickle.core.Types.ReadWriter" class="extype">upickle.default.ReadWriter</span>[<a