Much-greater-than sign

Summary