BUG (VISUAL): Build 310 (carried over from 301)
The A≤B and A≥B Nodes have the same label in the "picker", they are both labelled A≥B. Once can tell them apart from the tool tip, but it's a little disconcerting
