\begin
Discover why over 25 million people worldwide trust Overleaf with their work.
%% ===========================================================================
%% Journal of Mathematical Philosophy — Style and Typesetting Guide
%%
%% This file serves as guide and example article. Use jmp-article.tex as the
%% starting point for your own article.
%%
%% Build with: latexmk -lualatex jmp-style-guide.tex
%% ===========================================================================
\documentclass{jmp}
\addbibresource{jmp-article.bib}
\usepackage{booktabs}
\usepackage{tikz}
\usepackage{thm-restate}
\usepackage{listings}
\lstset{basicstyle=\footnotesize\ttfamily,breaklines=true,breakindent=0pt,
postbreak=\mbox{\textcolor{jmpinkiii}{$\hookrightarrow$}\space}}
\newtheorem{theorem}{Theorem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\hyphenation{Kerne-berg Batz-orig man-u-script}
\issueinfo{2026 · Guide v0.9}
\pubyear{2026}
\articledoi{}
\copyrightholders{Lennart Ackermans. This document is licensed under the CC BY-NC 4.0.\\
The JMP LaTeX document class is licensed under the GNU General Public License version 3}
\shorttitle{JMP Style Guide}
\shortauthors{The Editors of the JMP}
\title{Style and Typesetting Guide}
\addauthor{The Editors of the Journal of Mathematical Philosophy}{Munich Center for Mathematical Philosophy, LMU Munich}{editor@mathematicalphilosophy.org}
\begin{document}
\maketitle
\begin{abstract}
This is the style and typesetting guide for the \emph{Journal of Mathematical Philosophy}. It is distributed with the LaTeX template. The guide sets out the editorial conventions we apply, the metadata a reference must carry, and the typesetting practices we ask authors to follow. Each is demonstrated by the source file.
\end{abstract}
%% ===========================================================================
\section{Introduction}
\label{sec:intro}
The \emph{Journal of Mathematical Philosophy} (JMP) is typeset from author-supplied LaTeX. After acceptance, the author must typeset the document using the template and document class supplied with this guide. The author bears the primary responsibility for correct style and formatting. This document outlines the JMP's style and typesetting conventions.
The editorial style follows the \emph{Chicago Manual of Style} (CMOS), eighteenth edition \parencite{cmos18}, except where this guide departs from it. Section~\ref{sec:style} gives an overview of style conventions.
Section~\ref{sec:tex} gives instructions for typesetting using our LaTeX template.
The citation and bibliography style is CMOS author-date, implemented by \texttt{biblatex-chicago}. Section~\ref{sec:bib} specifies what each bibtex entry must contain.
Authors are encouraged to make use of a capable artificial intelligence (AI), such as Claude Opus 5, to verify whether the article complies with this guide. To do so, give it access to the TeX source of this guide, the class file \texttt{jmp.cls}, and your article TeX source.
%% ===========================================================================
\section{Checklist before final submission}
\label{sec:checklist}
\begin{enumerate}
\item The article is de-anonymized. All authors are named in the agreed order, each with an affiliation, a working email address, and an ORCID iD where one exists. Spellings and diacritics have been confirmed by the person they belong to.
\item Permission has been obtained for any material reproduced or adapted from other work, such as figures and tables.
\item The article has an abstract of no more than 250 words.
\item Every citation resolves to an entry in the bibliography, every entry is cited, and the metadata is complete (section~\ref{sec:bib}). Every quotation carries a page number.
\item The document compiles under LuaLaTeX and Biber with no errors and no warnings, including overfull boxes (section~\ref{sec:overfull}).
\item The article has been run through a spellchecker and grammar checker and is free of linguistic errors.
\end{enumerate}
%% ===========================================================================
\section{Editorial style}
\label{sec:style}
The JMP follows the \emph{Chicago Manual of Style}, eighteenth edition \parencite{cmos18}. This section gives a summary of its most important recommendations, with some small departures.
\subsection{Language and punctuation}
\begin{itemize}
\item The article should use either American or British English, consistently. The suggested reference dictionaries are the \emph{Merriam-Webster} for American English and the \emph{Oxford English Dictionary} for British English. British English is selected with \verb|\documentclass[british]{jmp}|.
\item Headings and subheadings take sentence case. The article title and the titles stored in the \texttt{.bib} file take title case.
\item The serial comma is used for lists of three or more terms.
\item Quotation marks are double. You can use \verb|\enquote{...}| or \verb|``...''| to accomplish this.
\item Use en dashes for ranges (\verb|--|); use em dashes for interruptions and emphasis (\verb|---|). Em dashes are set closed up---without surrounding spaces.
\item Numbers one through one hundred, as well as round multiples of one hundred, should be spelled out, but not units, mathematical objects, and numbered parts of the document. Numbers at the beginning of a sentence should almost always be spelled out.
\item \enquote{e.g.}\ and \enquote{i.e.}\ should be confined to parentheses and
footnotes, and each takes a following comma.
\item Abbreviations are spelled out at first use. All-capital abbreviations
take no periods.
\item Use footnotes, not endnotes. The footnote mark follows the punctuation. Citations belong in the text, but may appear in textual footnotes.
\end{itemize}
\subsection{Quotations, quotation marks, and italics}
\label{sec:quotations}
A quotation of fewer than five lines can be run into the sentence with punctuation before the closing quotation marks: \textcite[34]{haugerud2001} calls the Sleeping Beauty problem \enquote{a case in which learning nothing is not the same as learning that nothing has happened.} Long quotations should use the \texttt{quote} environment, without quotation marks, and must be followed by a parenthetical citation:
\begin{quote}
[The thirder] is committed to the claim that an agent can lower her credence in a proposition without acquiring any evidence against it, merely by coming to occupy one of several centered worlds compatible with what she already believed. \textelp{} Whether that is a reductio or a discovery is precisely what is at issue. \parencite[119]{renner-alvi2023}
\end{quote}
Every quotation must carry a page number. Omissions should be marked with \verb|\textelp{}| and insertions with square brackets. The capitalization of the first word may be silently changed. Nothing else about a quotation may differ from its source.
Single quotation marks are used only for a quotation within another quotation.
Double quotation marks should also be used in the following circumstances.
\begin{itemize}
\item For the titles of journal articles and book chapters.
\item As scare quotes (but sparingly).
\item For a word or phrase that is not used functionally but is referred to as the word or phrase itself.
\end{itemize}
Italics should be used in the following circumstances.
\begin{itemize}
\item Foreign words and phrases not in the English dictionary.
\item For emphasis.
\item For the titles of books, journals, and other major works.
\item For the introduction of key terms.
\item When quotes are undesirable, for a word or phrase that is not used functionally but is referred to as the word or phrase itself.
\end{itemize}
%% ===========================================================================
\section{Typesetting}
\label{sec:tex}
This section describes the use of the LaTeX template and gives recommendations for appropriate LaTeX code. Please start with \texttt{jmp-article.tex} and copy your article body to that document.
\subsection{Requirements and build}
Requirements:
\begin{itemize}
\item LuaLaTeX. (\texttt{pdflatex} will not compile the class.)
\item Biber.
\item Fonts: STIX~Two~Text, STIX~Two~Math, Lete~Sans~Math, Roboto, and Go~Mono. Make sure to have at least the STIX fonts installed.
\item A current TeX~Live or MiKTeX. Everything the class loads is in the
standard distribution.
\end{itemize}
Build with \verb|latexmk -lualatex jmp-article.tex|, or by hand: \texttt{lualatex}, \texttt{biber}, \texttt{lualatex} twice. Read the \texttt{.log} and \texttt{.blg} files afterwards.
\subsection{Preamble and metadata}
\label{sec:preamble}
The document class already loads many standard packages, such as \texttt{unicode-math}, \texttt{amsmath}, \texttt{amsthm}, \texttt{csquotes}, \texttt{caption}, \texttt{hyperref}, and \texttt{biblatex-chicago}. Do not load conflicting packages, such as \texttt{inputenc} and \texttt{natbib}.
Please set the article metadata in accordance with the instructions in the preamble of \texttt{jmp-article.tex}.
Acknowledgements, funding, and conflicts of interest are optionally declared in the environments of those names at the end of the article, but before the appendices and bibliography.
\subsection{Environments}
When an environment such as \verb|quote|, \verb|enumerate|, or \verb|equation| is used, decide whether it forms part of the preceding or the following paragraph. When it does, leave no empty line between it and the surrounding text, so that the correct spacing and indentation is used.
\subsection{Sections and cross-references}
\label{sec:sections}
Use \verb|\section|, \verb|\subsection|, and \verb|\subsubsection| to start sections.
Sections, figures, tables, and numbered equations must be given a label with \verb|\label| if they need to be referenced. Refer to them later with \verb|\ref| and not with a typed number, and use the non-breaking space \verb|~|. For example: section~\ref{sec:math}, figure~\ref{fig:vigil}, table~\ref{tab:credences}, appendix~\ref{app:proofs}. The names of mathematical results are capitalized: Proposition~\ref{prop:thirder}.
\subsection{Symbols in headings, such as σ}
\label{sec:headings}
Mathematical symbols can be used in headings when inserted directly as unicode characters, like above. Inline math in headings is discouraged; check that any symbol renders correctly.
\subsection{Theorems, proofs, and equations}
\label{sec:math}
Please make use of the environments defined in the preamble of the template: \texttt{definition}, \texttt{theorem}, \texttt{proposition}, \texttt{lemma}, and \texttt{example}. Below are examples.
\begin{definition}
\label{def:vigil}
A \emph{Vigil} is a triple $\langle W, \mathrm{Cr}, \tau \rangle$ in which $W$ is a finite set of centered worlds, $\mathrm{Cr}$ a probability measure on $\mathcal{P}(W)$, and $\tau \colon W \to \mathbb{N}$ assigns to each world the number of times the agent is woken in it.
\end{definition}
\begin{proposition}
\label{prop:thirder}
Let $\langle W, \mathrm{Cr}, \tau\rangle$ be a Vigil in which $\tau$ takes exactly the values $1$ and $2$. If the agent's credence on waking is proportional to $\tau$, then her credence in heads is $1/3$.
\end{proposition}
\begin{proof}
Write $H$ for the heads worlds and $T$ for the tails worlds, and let $\mathrm{Cr}(H) = \mathrm{Cr}(T) = 1/2$. Proportionality to $\tau$ gives each waking in $T$ the weight of the single waking in $H$, so the three wakings are equiprobable and exactly one of them is in $H$.
\end{proof}
A proof placed in an appendix is preceded there by the statement it proves. Wrap the statement in a \texttt{restatable} environment, as Proposition~\ref{prop:convergence} below, proved in appendix~\ref{app:proofs}.
\begin{restatable}{proposition}{convergence}
\label{prop:convergence}
Let $\langle W, \mathrm{Cr}, \tau \rangle$ be a Vigil with $\tau(w) \leq k$ for every $w \in W$. Then the sequence of credences obtained by iterated proportional updating converges, and its limit is independent of $\mathrm{Cr}$.
\end{restatable}
Display-mode equations are numbered and labeled, using \texttt{equation}, \texttt{align}, or \texttt{gather}, and referred to with \verb|\eqref|: \eqref{eq:proportional}. They are punctuated as part of the sentence that introduces them:
\begin{equation}
\label{eq:proportional}
\mathrm{Cr}^{+}(A) \;=\; \frac{\sum_{w \in A} \tau(w)\,\mathrm{Cr}(\{w\})}
{\sum_{w \in W} \tau(w)\,\mathrm{Cr}(\{w\})},
\end{equation}
where $\mathrm{Cr}^{+}$ is the credence on waking.
\subsection{Figures and tables}
\label{sec:floats}
Figures and tables are encouraged, and go in the \texttt{figure} and \texttt{table} environments. Refer to them by number using \verb|\ref|, not as \enquote{the figure below.}
\begin{figure}[t]
\centering
\begin{tikzpicture}[x=20mm,y=9mm,font=\small]
\node (r) at (0,0) {coin};
\node (h) at (1,1.4) {heads};
\node (t) at (1,-1.4) {tails};
\node (m1) at (2.15,1.4) {Monday};
\node (m2) at (2.15,-0.6){Monday};
\node (u2) at (2.15,-2.2){Tuesday};
\draw[->] (r) -- (h) node[midway,above,font=\footnotesize] {$1/2$};
\draw[->] (r) -- (t) node[midway,below,font=\footnotesize] {$1/2$};
\draw[->] (h) -- (m1);
\draw[->] (t) -- (m2);
\draw[->] (t) -- (u2);
\end{tikzpicture}
\caption{The three wakings of the Sleeping Beauty problem. The agent is woken once if the coin lands heads and twice if it lands tails, and cannot tell the wakings apart. Redrawn after \textcite[35]{haugerud2001}.}
\label{fig:vigil}
\end{figure}
\begin{table}[t]
\centering
\begin{tabular}{@{}lccc@{}}
\toprule
& Prior & On waking & After learning it is Monday \\
\midrule
Halfer & $1/2$ & $1/2$ & $2/3$ \\
Thirder & $1/2$ & $1/3$ & $1/2$ \\
Double halfer & $1/2$ & $1/2$ & $1/2$ \\
\bottomrule
\end{tabular}
\caption{Credence in heads under three rules for the Sleeping Beauty
problem.}
\label{tab:credences}
\end{table}
\begin{itemize}
\item Add a caption and label below the figure or table.
\item Imported graphics should be sized relative to \verb|\textwidth|.
\item For tables, please use \texttt{booktabs} rules and no vertical rules.
\item Material reproduced or adapted from another work should be credited in the caption.
\end{itemize}
\subsection{Citations}
\label{sec:cite}
\verb|\textcite| produces a citation that is part of the sentence and \verb|\parencite| one that is not. Both have optional arguments for a prefix and a locator. No page abbreviation \enquote{p.} is needed. Natbib commands such as \verb|\citet| and \verb|\citep| are available as well. The full list of biblatex citation commands is in the biblatex cheat sheet.\footnote{\url{https://mirrors.ctan.org/info/biblatex-cheatsheet/biblatex-cheatsheet.pdf}}
\vspace{0pt plus 20pt} % Added vertical space to avoid an underfull vbox
\subsection{Overfull hboxes}
\label{sec:overfull}
LaTeX reports \verb|Overfull \hbox| in the \texttt{.log} when text overflows into the margin. Please fix these issues in one of the following ways:
\begin{enumerate}
\item For a word TeX cannot hyphenate, such as a proper name or a technical coinage, supply the break points in the preamble with \verb|\hyphenation|, or at the point of use with the discretionary hyphen \verb|\-|.
\item In inline mathematics, \verb|\allowbreak| can be used to allow a line break at a particular point. But consider that it may be better to use a display-mode environment.
\item Consider adjusting the sentence if the above remedies fail.
\end{enumerate}
\subsection{Underfull vboxes}
Underfull vboxes can be left to the production editor.
If the underfull vbox is the result of a section heading at the top of the next page, a solution could be to add vertical space immediately above the section with \verb|\vspace{0pt plus 30pt}|.
%% ===========================================================================
\section{The bibliography file}
\label{sec:bib}
Please check the correctness of all entries in the bibliography file and make sure that titles are in title case. Appendix~\ref{app:ai} gives instructions for an AI agent to complement the manual check.
See the accompanying file \texttt{jmp-article.bib} for examples.
\subsection{Required fields}
Entries in the \texttt{.bib} file must have:
\begin{itemize}
\item An author, a title, and a year. An edited volume has an editor in place of the author.
\item The DOI in \texttt{doi}, where one exists, given bare and not as a URL. If there is no DOI and the work is available online, give a \texttt{url} instead. Entries must not have both \texttt{doi} and \texttt{url}.
\item A \texttt{urldate} on anything that can change or disappear: web pages, encyclopedia entries, repository records, and datasets.
\item For journal articles, \texttt{volume}, \texttt{number}, \texttt{month} (when they exist), and \texttt{pages}, or \texttt{eid} when the journal uses article numbers. \texttt{month} must be an integer, and page ranges are recorded in full (\texttt{biblatex} handles abbreviation automatically).
\item For books and collections, \texttt{publisher}. The \texttt{edition} and \texttt{volume} fields must be used for books that have them, rather than putting the edition and volume number in the title. Edited collections must have \texttt{editor}.
\item \texttt{pubstate = \{forthcoming\}} for an accepted but unissued article, in place of the year, volume, number, and pages.
\item For a part of a larger work, \texttt{pages}.
\end{itemize}
\subsection{Entry types}
Use the following bibliography entry types.
\begin{itemize}
\item \texttt{@article} for journal articles \parencite{haugerud2001}, including those identified by article number \parencite{renner-alvi2023} and those forthcoming \parencite{abiodun2026}.
\item \texttt{@book} for a monograph \parencite{batzorig2019}. One may use \texttt{@inbook} for a chapter within a book when the book as a whole is irrelevant \parencite{steiner-vogt2014}.
\item \texttt{@incollection} for a chapter in an edited collection \parencite{vasquez-ohl2011}. Use \texttt{@inproceedings} for a conference paper \parencite{kirchmeier2018}.
\item \texttt{@collection} for an edited collection cited as a whole \parencite{batzorig-delacroix2011}.
\item \texttt{@thesis} with \texttt{type = \{phdthesis\}} \parencite{hollowell2012}.
\item \texttt{@online} for a source existing only on the web \parencite{halloran2024}.
\item \texttt{@unpublished} for a preprint with no published version \parencite{tanaka2025}. Use the \texttt{note} field to name the repository and the \texttt{date} field for the posting date.
\item \texttt{@misc} for code and data \parencite{oyelaran2022}. Record the kind of reference in \texttt{type}.
\end{itemize}
%% ===========================================================================
\section{Conclusion}
\label{sec:conclusion}
We wish you good luck with typesetting your manuscript. If problems arise, you may always contact the editors at \href{mailto:editor@mathematicalphilosophy.org}{editor@mathematicalphilosophy.org}.
%% ===========================================================================
\appendix
\section{Proofs}
\label{app:proofs}
\convergence*
\begin{proof}
Since $\tau$ is bounded by $k$ and $W$ is finite, the map $\mathrm{Cr} \mapsto \mathrm{Cr}^{+}$ defined by \eqref{eq:proportional} is a continuous self-map of the simplex of probability measures on $W$, with Jacobian bounded in norm by $k$. Iterating it gives a contraction on a compact convex set, so by the Banach fixed-point theorem the sequence converges to the unique fixed point, which is independent of where the iteration began.
\end{proof}
\section{Instructions for AI}
\label{app:ai}
Below are the instructions for an AI asked to assist a user with copy-editing and typesetting.
When verifying compliance with the JMP Style Guide, go through the manuscript paragraph by paragraph and report your findings to the user. Go through the bibliography to make sure titles are in title case.
Our editorial style is CMOS 18, unless this document departs from it. When you are uncertain about a particular CMOS recommendation, do a web search, but be aware that secondary sources can sometimes depart from the official CMOS.
Remind the user that the file should compile without avoidable warnings, in case you are not able to verify this yourself.
Consult open APIs to verify bibliography entries when the user asks. For articles with a DOI, obtain the metadata with:
\begin{lstlisting}
curl -sLH "Accept: application/x-bibtex" https://doi.org/[doi]
\end{lstlisting}
For books, query the Open Library API. Search:
\begin{lstlisting}
curl -sL 'https://openlibrary.org/isbn/[isbn].json'
curl -sG 'https://openlibrary.org/search.json' \
--data-urlencode 'title=[title]' \
--data-urlencode 'author=[author]' \
--data-urlencode 'fields=key,title,author_name,first_publish_year,isbn,edition_count' \
--data-urlencode 'limit=5'
\end{lstlisting}
Obtain detailed metadata:
\begin{lstlisting}
curl -s -H 'Accept: application/json' \
https://openlibrary.org/[key]/editions.json
\end{lstlisting}
\printbibliography
\end{document}