Below is a summary of Halmos' classic essay that has been tailored for myself. I hope it is of use to others. I have left out all detail and thus the list below is in no way a substitute for the article itself.
- Preface.
- What constitutes good mathematics exposition is subjective.
- There is no recipe and what it is.
- Even if the ability to communicate clearly is innate, this essay may serve to "remind" (in the sense of Plato) the reader.
- The recipe for good exposition in mathematics is:
- Have something to say,
- Have someone to say it to,
- Organise what you want to say,
- Arrange it in the order that you want to say it,
- Write it, re-write it and re-re-write it, and,
- Think about and work hard on mechanical details.
- Say something.
- There are to ways to fail to say something: no ideas or too many ideas.
- A good idea can shine even if buried in bad exposition, but don't rely on this.
- Speak to someone.
- If you wish to reach your audience you must write as if writing for the ages.
- In addition to having a generally defined audience ensure that you focus your writing as if writing for a specific member of that audience.
- Avoid the temptation to include side remarks, polemic or in-jokes that comes with close identification with your audience.
- In writing for that specific person anticipate and avoid the problems you expect them to have.
- You may aim for an audience and you may miss. The chance, however, of hitting some audience is much higher than if you had not aimed at all.
- Think about the alphabet.
- Invest an hour or two of thought in the alphabet; this'll save you a headache.
- Be consistent in your use of the alphabet.
- Bad notation can make otherwise good exposition bad.
- Good notation avoids dissonance.
- Avoid "freezing" notation or awkward or unhelpful notation.
- Do not increase the rigid frigidity of notation.
- Write in spirals.
- Write your sections in this order: 1, 2, 1, 2, 3, 1, 2, 3, 4... This also applies to other divisions of writing, e.g. chapters, paragraphs, sentences, words...
- Write, re-write and re-write your work
- "Once you have a first draft in hand, spiral-written, based on a subject, aimed at an audience, and backed by as detailed an outline as you could scrap together, then your book is more than half done."
- On a first draft just write: ignore the rules.
- This is not literal advice. In a 10 chapter book the first chapter should not require 10 re-writes. I do, however, think 3 or 4 could be needed.
- After a spiral written first draft is completed I will usually re-write the whole book, adding mechanical reading aids (contents, index...). I then re-write the book again. It is this third draft that I give to others for review. Their comments are incorporated and this version is read, re-read, proof read and re-proof read. The result is the version that is sent to the publisher.
- Write a small part each day, no exceptions, no holidays.
- "Prime the pump for the next day"
- Organise always.
- Organising material does not stop when writing starts: it continues throughout writing and editing.
- Enact spiral-organisation: write section 1, then section 2, then review section 1 in the light of section 2, and so on...
- The reader is supported by firm organisational scaffolding: even if he doesn't see it.
- Use sub-plots and leave clues of what is to come.
- Ensure that you have a logical structure.
- Write good English.
- Use spelling and grammar that doesn't cause distractions.
- The style should be completely unobtrusive.
- Mathematical books should be written in good English style: that is with "correct" style according to current and commonly accepted public standards.
- Use common sense in your choice of words, punctuation and grammar.
- Repetitive use has a cumulative abrasive effect.
- The English language is a tool. Train yourself to use it.
- Honesty is the best policy.
- A good style should smooth the reader's way. Anticipate their difficulties and forestall them: clarity not pedantry; understanding not fuss.
- Do not lie! Sometimes messy computations are needed.
- A statement like, "Note that p does not imply q" requires explanation. No explanation is equivalent to not revealing the whole truth.
- Using the word, "obvious" is ok if the result genuinely is obvious to people who have not written the paper.
- Do not hide the status of your statements or your attitude to them.
- Down with the irrelevant and the trivial.
- Don't include unnecessary information, e.g. irrelevant assumptions.
- Insistence on legalistically correct but insufficiently explicit explanations is misleading, bad exposition and bad psychology: almost bad mathematics.
- State theorems up front, do not surprise the reader with, "Thus we have proven...".
- Do not include "chit chat" in theorems, e.g. "Moreover..." or "Without loss of generality we may assume...".
- Ideally a theorem is a single short sentence. Page long statements indicate a lack of clarity in thinking.
- Do and do not repeat.
- Good repetition: word for word repetition of a phrase, or even many phrases, with the purpose of emphasising a slight change in a neighbouring phrase. Announce these differences clearly.
- Bad repetition:
- repetition with no reference to previous use.
- a proof or reference to a technique used in a proof. In such situations a lemma should be used.
- The editorial we is not all bad.
- The best expository style is the least obtrusive one.
- Avoid the use of first person pronouns: simple declarative sentences are the best for communicating facts.
- Using the imperative will save time.
- Let "we" mean the author and the audience.
- Do not use "we" when you mean a singular author.
- Do not over use "we".
- "I", especially in overuse, can have a repellent arrogance: be careful.
- Use words correctly.
- Think about and use with care the small words of common sense, intuitive logic and specifically mathematical words (technical terms) that can have a profound effect on mathematical meaning.
- "Any" can mean either existence or be a universal quantifier. Avoid it. Use "each" and "every" instead.
- Formal logic is not good for communicating ideas. It is a code that the writer must encode and the reader must decode.
- Introduce assumptions first.
- "Equivalent" for theorems does not make sense. It usually means that the theorems imply each other: state this.
- Avoid statements logically correct by stylistically problematic statements like, "if p then if q then r".
- Use technical terms correctly.
- "To illustrate the possibilities of the unobtrusive use of precise language in the everyday sense of the working mathematician I provide three examples:"
- A function and its values are different. So $latex z^2+1$ is even is bad usage while $latex f(z)=z^2+1$ is good usage.
- A sequence means a "function whose domain is the set of natural numbers". Hence "the union of a sequence of measurable sets is measurable" is bad usage while "the union of a countable set of measurable sets is measurable" is good usage.
- "contain" and "include" are almost always used as synonyms but $latex \in$ and $latex \subset$ have very different meaning.
- Bad use of specific technical terms distracts and postpones understanding.
- Failure of consistency can cause mild irritation through to serve misinformation.
- Resist symbols.
- Everything said about words applies mutatis mutandis to even smaller units of mathematical writing: mathematical symbols.
- The best notation is no notation.
- Is the symbol needed for this sentence?
- Use no superfluous letters, use no letter only use, leave no variable free.
- "A rule can be bent but do not shatter it".
- Use symbols correctly.
- Ensure that symbols have a consistent verbal translation.
- Do not overwork commas and fullstops. They are small and can easily be missed.
- Never start a sentence with a symbol.
- If you use an "if", then always add a "then".
- Observe the impact of each page of text: aim for an inviting picture.
- All communication is exposition.
- "The differences between books, articles, lectures and letters (and whatever other means of communication you can think of) are smaller than their similarities."
- "Content, aim and organisation, plus the vitally important details of grammer, diction, and notation - they, not showmanship, are the essential ingredients of good lectures, as well as good books."
- Defend your style.
- "Smooth, consistent, effective communication has enemies; they are called editorial assistants and copyreaders."
- Stop.
- It is hard to stop. Take pleasure in allowing a manuscript to "ripen" by putting it aside for a few months before reviewing.
- The last word.
- "Do, please, as I say, and not as I do, and you'll be better. Then re-write this essay and tell the next generation how to do better still.