@def website_title = "Peter C. Jentsch" @def website_descr = "Peter Jentsch's personal website" @def author = "Peter C. Jentsch"
@def mintoclevel = 2
@def ignore = ["node_modules/", "franklin", "franklin.pub"]
\newcommand{\R}{\mathbb R} \newcommand{\scal}[1]{\langle #1 \rangle}