ProofWriter
Copy
Reset
Settings
Symbols
Operator
Abbreviation
Symbol
Negation
not
¬
Conjunction
and
·
Disjunction
or
∨
Implication
then
⊃
Equivalence
iff
≡
Universal Quantifier
all
∀
Existential Quantifier
some
∃
Therefore
tfr
∴
Box Operator
nec
□
Diamond Operator
pos
◇
Preferences
Case-insensitive abbreviations
Update content after selecting a new symbol
ProofWriter created by
Arturo Javier-Castellanos
© 2025