BUG: VISUAL/UI
The A≤B and A≥B Logical Nodes have the same label on the Node in the model (they are both labelled "A≥B")
