This is admittedly a soft question and, to make things worse, the goal of my question might even be controversial. Please bear with me, though.
I'm writing a long math paper with hundreds of math blocks (definitions, theorems, lemmata, remarks, examples, …) and some – though not much – text in between. Let's call that text prose because its only purpose is to serve as rhetorical glue between the math blocks and to provide motivation and guidance. In contrast, the math blocks stand on their own and a reader could in theory only read those, i.e. follow the usual chain of definition – lemma – theorem – proof, and ignore the prose completely. (In particular, variables etc. introduced in the prose are not used in the math blocks and every math block carefully spells out its assumptions.)
Unfortunately, the default
amsthm-like style of math papers written in
LaTeX doesn't seem to lend itself well to this sort of logical
separation since (at least in my opinion) there is little to no optical
separation between math blocks and prose. Everything is often just one
For instance, in most papers I read, I find it extremely hard to tell upon first sight where a remark, an example, or a definition ends and where prose starts. In addition, corollaries, remarks and examples – which usually refer to / follow from the math block immediately preceding them – are not typeset in a way which makes this relationship clear. Finally, it is also quite hard sometimes to see which theorems are important and which less so.
I've been thinking about various ways to fix this, i.e. about how to use typography to highlight the overall logical structure and, among others, achieve clear optical separation between math blocks and prose:
- larger verticals margins between math blocks and prose
- separation of subsequent math blocks and/or prose by a horizontal line
***or some other typographic ornament
- highlight (some) math blocks with borders / frames
- different indentation/geometry for prose and math blocks
- always ending definitions/remarks/examples with an analogue of the QED
∎to demarcate their end
- different fonts for math blocks and prose
\parindentfor the first line of prose that immediately follows a math block
- start prose with an initial
None of these solutions seems ideal, though (what's best seems to depend very much on the situation – e.g. how many math blocks vs. how much prose), and I have yet to see a math paper where things are typeset beautifully. I am therefore looking for inspiration.
Hence my question:
Can you give examples of math papers or books that, in your opinion, are typeset in a beautiful, non-standard way (maybe even incorporate some of the above fixes) and thereby alleviate or even solve the above issues? Alternatively, are there any best-practice guides on how to solve the above issues typographically?