Format of QPTL Operators

Format 1: ~, /\, \/, -->, <-->, (), <>, [], U, W, R, (-), (~), <->, [-], S, B, T, E, A
Format 2: !, &&, ||, ->, <->, X, F, G, U, W, R, Y, Z, O, H, S, B, T, E, A
Unicode Format (default): !, ∧, ∨, →, ↔, X, F, G, U, W, R, Y, Z, O, H, S, B, T, ∃, ∀

Save