  Let M be a symplectic 4-manifold. A semitoric integrable system on M is a
pair of real-valued smooth functions J, H on M for which J generates a
Hamiltonian S^1-action and the Poisson brackets {J,H} vanish. We shall
introduce new global symplectic invariants for these systems; some of these
invariants encode topological or geometric aspects, while others encode
analytical information about the singularities and how they stand with respect
to the system. Our goal is to prove that a semitoric system is completely
determined by the invariants we introduce.
