¶Intersection of s₁..t₁ and ~ t₂
(≠ t₁) ∧ (~ t₂) = (≠ t₁) ∧ (~ t₂)
Cannot be simplified, even when t₁ = t₂. (t ⊆ ⟦~ t⟧ ∧ t ⊈ ⟦≠ t⟧; for any x ≁ t, x ⊈ ⟦~ t⟧ ∧ x ⊆ ⟦≠ t⟧)
This page is also available via Gemini at gemini://dcreager.net/theory/constraints/intersect-neq-cmp.gmi