The formal syntax of Theorymaker for the web app

By and large we’re treating Theorymaker as adding some new expressions into English. But if you just want to use the web app, you’ll want to know what you can type and what you can’t.

Into the web app you can only type valid Theorymaker on its own, with no ordinary English. Valid Theorymaker is just one or more valid Statements and/or Theories (as defined xx and xx), with each one listed below the preceding one.