¬
⋁
•
∞