1.1. Math

This is an example of inline math: e^{\pi\cdot i} + 1 = 0 and this is display math \sum_{n=0}^\infty \frac{x^n}{n!} = e^x.

The formulae are not rendered as math as expected, despite the fact that Main.lean contains

def config : Config where
  destination := "docs"
  emitTeX := false
  emitHtmlSingle := true
  emitHtmlMulti := false
  htmlDepth := 1
  features := HtmlFeatures.all

as replacement of the deprecated config := config.addKaTeX.