@Coni777 I'm always happy to see ⋛, "greater than, equal to, or less than". It looks redundant, but along with ⋚ it fills the same sort of role as ± and ∓, tracking branches with different signs