(△ ∑∨⬡⋀)