Much-greater-than sign