Proof Editor

Enter → next field | Shift+Enter → insert line below | Space → convert symbol | ! ~ ^ instant → ¬ ¬ ∧

Given / Problem:

Proof:

Shortcuts: v→∨ ^→∧ !,~→¬ ->→→ <->→↔

Therefore / Conclusion:

Preview:

Copied!

Core shortcuts (always on):

n ∩

u ∪

v ∨

^ ∧

! ¬

~ ¬

-> →

<- ←

<-> ↔

<=> ↔

=> →

<= ←

!= ≠

Optional shortcuts (click to toggle):

→

Tab → indent • Wrap sets in || • Cmd+. → superscript mode • Cmd+, → subscript mode • u→∪ n→∩ \→∖ with space

Given / Problem:

Proof:

Therefore / Conclusion:

Preview:

Copied!

Set Theory Shortcuts (type then space):

u ∪

n ∩

\ ∖

/in ∈

/notin ∉

/subset ⊆

/psubset ⊂

/superset ⊇

/psuperset ⊃

/empty ∅

delta ∆

!= ≠

-> →

<-> ↔

/forall ∀

/exists ∃

v ∨

^ ∧

! ¬

~ ¬

Optional shortcuts (click to toggle):

→

Tips: |pipes| for inline math • Tab/spaces at line start for centered equations