5" data-line-number="15"><span class="co">#&gt; \ensuremath{\{P1,\, P2,\, P3,\, P6\}}&amp;\ensuremath{\Rightarrow}&amp;\ensuremath{\{P4,\, P5\}}\\</span></a>
<a class="sourceLine" id="cb5-16" data-line-number="16"><span class="co">#&gt; \end{array}</span></a>
<a class="sourceLine" id="cb5-17" data-line-number="17"><span class="co">#&gt; $$</span></a></code></pre></div>
<p>And the output in a LaTeX document will be as follows: <img src="images/impl_latex.png" alt="Implications in a LaTeX document"></p>
</div