A double-lined leftward arrow symbol representing shift operators or categorical morphisms in abstract algebra.
