One of the interesting problems that real typesetting brings to documentation is the representation of source code. Mostly this is because we want a book to look like a “book” and source code to look like “source code”! Even in the world of HTML we insist on these things. This paragraph should look like it does, but the source to this paragraph should look like: