Formatting

Some explanation of the formatting I'll use to post things here. You may want to use the style I'm using, or parts of it, as a model for how you write up your own homeworks.

I will be composing these web pages in a text markup language that's interpreted by John MacFarlane's excellent program Pandoc. Pandoc's language is based on another, older and more broadly used language, called Markdown. There are only small differences between these: places where MacFarlane cleaned up some problematic parts of Markdown or extended it in some ways that are especially useful for academics. The workflow is that you write your documents in Pandoc's markup language (which I'll also call Pandoc), then use the Pandoc program to read it and output it in a different, usually prettier, format. The reason for doing this is that Pandoc is a very lightweight, easy-for-humans-to-read language. For the most part, it looks like a plaintext email. There are only a few minimal ways in which it dictates that some special formatting should be used. So for instance in Pandoc one writes things like this:

... That's what I *used* to think, but then Peter argued:

> Suppose $Fa$ *were* a tautology.
> Then $\alpha \horseshoe Fa$ would also be a tautology.

and then Pandoc will convert that into HTML (used to generate pretty web pages) or LaTeX (used to generate pretty scientific articles). The end result will look like this:
... That's what I used to think, but then Peter argued:
Suppose Fa were a tautology. Then α ⊃ Fa would
also be a tautology.