I thought of this, but couldn't find a nice way to fit this into the syntax. That is, Theorem: "some text" is the same as Theorem: . "some text" Thus

I thought of this, but couldn't find a nice way to fit this into the syntax. That is, Theorem: "some text" is the same as Theorem: . "some text" Thus it would be hard to distinguish a named theorem with one statement Theorem: . "some name" . "statement 1" from an un-named statement with two statements: Theorem: . "statement1" . "statement2" So for now I'm leaving the name in the metadata section, but I'm open to putting the title higher if I can come up with a nice way to do so.