LaTeX models for sanity