Удлинённая стрелка влево с двойной линией. В логике и математике — знак «влечёт слева», обратная импликация. Двойная линия отличает логическое следование от простого указания. Код U+27F8, в HTML — ⟸.
Ищут также: двойная стрелка влево, импликация, логическое следствие, следует из, ⟸