Symbol: coloncmp