Adds ∣ (divides) and its negation ∤