Show HN: MathLingua – The Language of Mathematics

Re:Show HN: MathLingua – The Language of Mathematics by bionhoward on Monday July 27, 2020 @12:01AM (#23962136)

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”

[ Parent | on HN ]

Re:Show HN: MathLingua – The Language of Mathematics by CatsAreCool on Tuesday July 28, 2020 @12:40AM (#23972331)

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.

[ Parent | on HN ]