Ascii Representation of all Operators
| Symbol | Ascii | Symbol | Ascii |
|---|---|---|---|
| $$\land$$ | /\ or \land | $$\lor$$ | / or \lor |
| $$\lnot$$ | ~ or \lnot or \neg | $$\equiv$$ | <=> or \equiv |
| $$\in$$ | \in | $$\notin$$ | \notin |
| $$\langle$$ | « | $$\rangle$$ | » |
| $$<$$ | < | $$>$$ | > |
| $$\leq$$ | \leq or =< or <= | $$\geq$$ | >= or \geq |
| $$\ll$$ | \ll | $$\gg$$ | \gg |
| $$\prec$$ | \prec | $$\succ$$ | \succ |
| $$\preceq$$ | \preceq | $$\succeq$$ | \succeq |
| $$\subseteq$$ | \subseteq | $$\supseteq$$ | \supseteq |
| $$\subset$$ | \subset | $$\supseteq$$ | \supseteq |
| $$\sqsubset$$ | \sqsubset | $$\supset$$ | \supset |
| $$\sqsubseteq$$ | \sqsubseteq | $$\sqsupseteq$$ | \sqsupseteq |
| $$\vdash$$ | |- | $$\dashv$$ | -| |
| $$\models$$ | |= | =| | =| |
| $$\rightarrow$$ | -> | $$\leftarrow$$ | <- |
| $$\cap$$ | \cap | $$\cup$$ | \cup or \union |
| $$\sqcap$$ | \sqcap | $$\sqcup$$ | \sqcup |
| $$\oplus$$ | (+) or \oplus | $$\uplus$$ | \uplus |
| $$\ominus$$ | (-) or \ominus | $$\times$$ | \times or \X |
| $$\odot$$ | (.) or \odot | $$\wr$$ | \wr |
| $$\otimes$$ | (\X) or \otimes | $$\propto$$ | \propto |
| $$\oslash$$ | (/) or \oslash | $$“s”$$ | “s” |
| $$\exists$$ | \E | $$\forall$$ | \A |
| $$]_v$$ | ]_v | $$\rangle_v$$ | »_v |
| $$WF_v$$ | WV_v | $$SV_v$$ | SV_v |
| Symbol | Ascii |
|---|---|
| $$\Rightarrow$$ | => |
| $$\triangleq$$ | == |
| $$\neq$$ | # or /= |
| $$\square$$ | [] |
| $$\Diamond$$ | <> |
| $$\leadsto$$ | ~> |
| $$\mapsto$$ | |-> |
| $$\div$$ | \div |
| $$\cdot$$ | \cdot |
| $$\circ$$ | \o or \circ |
| $$\bullet$$ | \bullet |
| $$\star$$ | \star |
| $$\bigcirc$$ | \bigcirc |
| $$\sim$$ | \sim |
| $$\simeq$$ | \simeq |
| $$\asymp$$ | \asymp |
| $$\approx$$ | \approx |
| $$\cong$$ | \cong |
| $$\doteq$$ | \doteq |
| $$x^y$$ | x^y |
| $$x^+$$ | x^+ |
| $$x^*$$ | x^* |