Syntax

• `, empty line
• ---, conclusion
• A => B, implies
• A | B, or
• A & B, and
• A <=> B, iff
• .., therefore
• ?, ∃
• *, ∀
• |=, ⊨
• <-, ←
• [ <new-line> <sub-section> <new-line> ]
• < <disjoint-wffs> >, a list of disjoint wffs
• 1. <wff>, line numbers which are replaced, for your help when making references
• |invalid <wffs>|, refutation box
• <proof> # <proof>, proof separator
• <wff> {<references>}, puts the references in a new column of same line
• Reference Syntax
  • +, follows from
  • !, contradicts

Text Input