A fork of texmath to compile against scholdoc-types