TeX source:
s ≤ t ∧ t ≤ s