Added mad math latex stuff. Also first draft of hoare triple section.