Math!

tgdwyer · tgdwyer · commit 9fb682c00498 · 2024-10-07T10:55:43.000+11:00
diff --git a/_chapters/monad.md b/_chapters/monad.md
@@ -78,7 +78,13 @@ So the bind function `(>>=)` (and equally its flipped version `(=<<)`) gives us
 
 As an example we’ll consider computation using the `Maybe` type, which we said is useful for [partial functions](/haskell2/#maybe), that is functions which are not sensibly defined over all of their inputs.  A more complex example of such a function than we have seen before is the [quadratic formula](https://en.wikipedia.org/wiki/Quadratic_formula) which, for quadratic functions of the form:
 
-![quadratic](/assets/images/chapterImages/monad/quadratic.png)
+$$ ax^2 + bx + c = 0 $$
+
+determines two roots:
+
+$$ x_1 = \frac{-b + \sqrt{b^2 - 4ac}}{2a}
+\quad \text{and} \quad
+x_2 = \frac{-b - \sqrt{b^2 - 4ac}}{2a} $$
 
 This may fail in two ways:
 
diff --git a/_layouts/base.html b/_layouts/base.html
@@ -3,7 +3,7 @@
 
   {%- include head.html -%}
   <script src="{{ "/assets/js/spoilers.js" | relative_url }}" defer></script>
-
+  <script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script>
   <body>
 
     {%- include header.html -%}
