https://notes.andymatuschak.org/About_these_notes