LaTeX Templates

Two small LaTeX classes carrying the AICR house style (Baskervald X, orange accent, boxed definitions/conjectures, running heads), so a new conjecture write-up doesn’t have to re-derive the preamble each time. A conjecture’s statement and its solution are kept as separate documents, each with its own class.

• aicr-conjecture.cls — the statement class: narrow “screen” page, kicker/title/subtitle front matter with Status/Category lines, an informalconjecture box for a one-paragraph plain-English restatement, boxed conjecture/definition environments (plain theorem/lemma/proposition/corollary/remark/proof are also available), and an aicrbibliography environment that avoids a duplicate heading.
• aicr-solution.cls — loads the statement class above, so it inherits everything in it, but widens the page to a book trim and adds the one required piece of front matter: \cjresolves{...}, naming which conjecture the document addresses. Unbounded in length; no other structure is imposed.
• statement.tex — an empty statement built on the class above, ready to fill in. View compiled PDF.
• solution.tex — an empty solution built on the class above. View compiled PDF.

The two classes live once in the repository, at latex/cls/, rather than as a copy beside every document — there were 227 copies before September 2026, and three of them had quietly drifted apart.

To start a new conjecture outside the repository, download all four files into one folder: class resolution is directory-relative, so the two .cls files need to sit alongside whichever .tex uses them. Inside the repository they are already there once, and scripts/build_paper.sh <dir> compiles a document by pointing TEXINPUTS at them — a bare pdflatex main.tex will not find them.