lass="sourceLine" id="cb5-1" data-line-number="1">fc<span class="op">$</span>implications<span class="op">$</span><span class="kw">to_latex</span>()</a>
<a class="sourceLine" id="cb5-2" data-line-number="2"><span class="co">#&gt; $$</span></a>
<a class="sourceLine" id="cb5-3" data-line-number="3"><span class="co">#&gt; \begin{array}{rcl}</span></a>
<a class="sourceLine" id="cb5-4" data-line-number="4"><span class="co">#&gt; \ensuremath{\{{^{0.5}}\!/P6\}}&amp;\ensuremath{\Rightarrow}&amp;\ensuremath{\{{^{0.5