Closed savq closed 1 year ago
Allow the following symbols (some were already allowed):
∀, ∃, ∄
∑, ∏, ∐
∂, ∆, ∇
∫, ∬, ∭, ∮, ∯, ∰, ∱, ∲, ∳
∅, ∎
Closes #101
Allow the following symbols (some were already allowed):
∀, ∃, ∄
∑, ∏, ∐
∂, ∆, ∇
∫, ∬, ∭, ∮, ∯, ∰, ∱, ∲, ∳
∅, ∎
Closes #101