This document is typeset in New Century Schoolbook.

Hrm, interesting: I couldn't tell the difference.

	▲	mark-r 6 hours ago \| parent [-]
		You're not alone. My wife just assumes anything with serifs is Times New Roman, and she's a lot more normal than I am.