LaTeX doc files, ported to README.md