Hacker News Reader

Comment by bionhoward | Hacker News Reader

Would it be possible to put the theorem name (and possibly a description) at the top instead of buried at the bottom in a metadata block?

Theorem: “Fundamental Theorem of Calculus”

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.