Settings

Prototype only - not working

Notation

∧, ∨, →, ↔ ¬
&, ∨, ⊃, ≡, ∼
Custom...

Notation for Meta-Theory

P, Q, R,...
α, β, γ
Custom...

Sentence Letters for PL

A, B, C,...
p, q, r,...
Custom...

Grouping

(, )- Parentheses only
(, [, ], ) - Alternating Parentheses and Brackets