ut">a number of ways</a> to specify LaTeX math. This project‚Äôs <code>Makefile</code> defaults to <code>tex_math_single_backslash</code>, which allows multiple forms of math input:</p>
<pre><code>This is inline: $a^2 + b^2 = c^2$.\
So is this: \(F = ma\).\
This is display math:

$$x = \frac{ - b \pm \sqrt {b^2 - 4ac} }{2a}$$

And so is this:

\[\frac{
  \Delta \, \Gamma, e : \forall (u :: \kappa). \tau \qquad \Delta \vdash c :: \kappa
}{
  \Delta \, \Gamma \vdash e[c] : [c/u]\tau
}\]</code></pre>
<p>Th