edited to use jaf-facit: philipp, you won't be able to see this font
until the page is published, but it should work once on
probabilistic-numerics.org