Then someone submitted <=> to the very serious people at the C++ standards committee, and they went on to ratify it in the standard.