Edsger
Type expressions & rules and click the
Validate
button
Expression
Rule
≡
<
≡
>
Expression
+
-
Validate
How to type symbols?
Symbol
On Keyboard
¬ (not)
! or "not"
∧ (and)
& , ^, or "and"
∨ (or)
| or "or"
⇒ (implication)
=>, ->, or "implies"
≡ (equivalence)
== or "equiv"