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.
433 B · 26 lines
JSON
at master
1234567891011121314151617181920212223242526{ "binary": { "<->": "\\leftrightarrow", "%": "\\leftrightarrow", "->": "\\rightarrow", "$": "\\rightarrow", "&": "\\land", "^": "\\land", "|": "\\lor" }, "unary": { "~": "\\lnot", "!": "\\lnot" }, "symb": { "^": "\\bot" }, "eg": { "<->": "($1($2))(($1)$2)", "%": "($1($2))(($1)$2)", "->": "($1($2))", "$": "($1($2))", "&": "$1$2", "|": "(($1)($2))" }}