Enter → next field | Shift+Enter → insert line below | Space → convert symbol | ! ~ ^ instant → ¬ ¬ ∧
Given / Problem:
Proof:
1.
Shortcuts: v→∨ ^→∧ !,~→¬ ->→→ <->→↔
Therefore / Conclusion:
Preview:
Copied!
Core shortcuts (always on):
u∪
n∩
v∨
^∧
!¬
~¬
/union∪
/intersect∩
/or∨
/and∧
->→
=>→
<-←
<=←
<->↔
<=>↔
!=≠
/equiv≡
/xor⊕
/forall∀
/thereexists∃
/exists∃
/therefore∴
/in∈
/notin∉
/subset⊆
/psubset⊂
/superset⊇
/psuperset⊃
/empty∅
/symdiffΔ
/compose∘
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!
Core shortcuts (always on):
u∪
n∩
v∨
^∧
!¬
~¬
/union∪
/intersect∩
/or∨
/and∧
->→
=>→
<-←
<=←
<->↔
<=>↔
!=≠
/equiv≡
/xor⊕
/forall∀
/thereexists∃
/exists∃
/therefore∴
/in∈
/notin∉
/subset⊆
/psubset⊂
/superset⊇
/psuperset⊃
/empty∅
/symdiffΔ
/compose∘
Optional shortcuts (click to toggle):
→
Tips: |pipes| for inline math • Tab/spaces at line start for centered equations
Please send feature requests to aw5571@nyu.edu. Or you can make a pull request.
This site is not intended to be a substitute for learning Latex, if you're supposed to. Use your best judgement.
This site is not intended to be a substitute for writing. Writing is proven to be better for memory.