SMS dit: General relativity for mathematicians