Editor
Last Updated: 2026. September. 14.
This tool allows you to write short ASCII codes such as \A (which is ∀) to more quickly construct larger formal statements or other mathematical expressions without having to do a lot of copy pasting. Please view the table below for the codes. If you have any suggestions or comments, please leave them in the :guestbook: guestbook! You do not need to sign up for it.
View the table below to see what you need to type for which symbol.:
Character Conversion Table
| Type this: | to get this: |
|---|---|
| ~ | ¬ |
| & | ∧ |
| \o | ∨ |
| -> | → |
| =>, \i | ⇒ |
| \A | ∀ |
| \E | ∃ |
| \e | ∈ |
| \Z | ℤ |
| \N | ℕ |
| \R | ℝ |
| \C | ℂ |
| \Q | ℚ |
| \U | ∪ |
| \I | ∩ |
| \s | ⊂ |
| \S | ⊆ |
| >= | ≤ |
| <= | ≥ |
| != | ≠ |