Please use the characters below when submitting your assignments. HTML is HIGHLY preferred with the proper symbols, but plain text is okay with us as well as long as you use the KIF (Logica) notation. In the Plain Text code column, we've put in most of the KIF syntax, but for set notation and other symbols, please use HTML so we can read it.
| Symbol Meaning | HTML code | Plain Text code | Output |
| and | ∧ | & | &and |
| or | ∨ | | | &or |
| not | ¬ | ~ | ¬ |
| implication | ⇒ | => | &rArr |
| reduction | ⇐ | <= | &lArr |
| equivalence | ⇔ | <=> | &hArr |
| right arrow | → | -> | &rarr |
| left arrow | ← | <- | &larr |
| right and left arrow | ↔ | <-> | &harr |
| entailment | |= | |= | |= |
| provable | |- | |- | |- |
| for all | &forall | A | &forall |
| exists | &exist | E | &exist |
| less than or equal to | &le | <= | &le |
| greater than or equal to | &ge | >= | &ge |
| proper subset | &sub | &sub | &sub |
| proper superset | &sup | &sup | &sup |
| subset | &sube | &sube | &sube |
| superset | &supe | &supe | &supe |
| superscript | <sup> text </sup> | <sup> text </sup> | normalsuperscript |
| subscript | <sub> text </sub> | <sub> text </sub> | normalsubscript |
| Greek character (e.g. &Phi) | &<Character Name> (e.g. &Phi) | &<Character Name> (e.g. &Phi) | (e.g. &Phi) |