A double downward arrow symbol representing consecutive decreasing steps or nested descending relations in ordered structures.
TeXipedia
A double downward arrow symbol representing consecutive decreasing steps or nested descending relations in ordered structures.