Nicer spacing on some binary operators