is is inline: <span class="math inline">a^2 + b^2 = c^2</span>.<br />
So is this: <span class="math inline">F = ma</span>.</p>
<p>This is display math:</p>
<p><span class="math display">x = \frac{ - b \pm \sqrt {b^2 - 4ac} }{2a}</span></p>
<p>And so is this:</p>
<p><span class="math display">\frac{
  \Delta \, \Gamma, e : \forall (u :: \kappa). \tau \qquad \Delta \vdash c :: \kappa
}{
  \Delta \, \Gamma \vdash e[c] : [c/u]\tau
}</span></p>
<p>The math is rendered with <a href="https://katex.org/"><span clas