Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Show HN: MathLingua – The Language of Mathematics. Parent comment
That is,
Theorem: "some text"
Theorem: . "some text"
Theorem: . "some name" . "statement 1"
Theorem: . "statement1" . "statement2"
There are no comments on this comment yet.
That is,
is the same as Thus it would be hard to distinguish a named theorem with one statement from an un-named statement with two statements: 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.