Something went wrong. Try again.
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Something went wrong. Try again.
380 B · 22 lines
JSON
at DoubleCutAdd
12345678910111213141516171819202122{ "binary": { "<->": "\\leftrightarrow", "%": "\\leftrightarrow", "->": "\\rightarrow", "$": "\\rightarrow", "&": "\\land", "|": "\\lor" }, "unary": { "~": "\\lnot", "!": "\\lnot" }, "eg": { "<->": "($1($2))(($1)$2)", "%": "($1($2))(($1)$2)", "->": "(($1)$2)", "$": "(($1)$2)", "&": "$1$2", "|": "(($1)($2))" }}