Add some notes about the isomorphisms
forall => ∀, exists => ∃