В статье Дональда Кнута Танцующие ссылки Кнут использует оператор «←» для описания обновлений, применяемых к ссылкам в двусвязном списке. Как разговаривает этот оператор?
Как мне кажется, об этом можно говорить:
L [R [x]] ← L [x]
L[R[x]] (now) points to L[x]
Более подробно:
L [[х]]
The pointer to the predecessor of the successor of x
←
points to
L [х]
the predecessor of x
Я сверился с списком математических символов Википедии , но описанные здесь применения стрелок, похоже, состоят из импликации и отображения функций.
Думая, что это использование «←» может зависеть от предметной области, я просмотрел этот документ в связанных списках. Однако он использует «←» в математическом смысле для обозначения «подразумевает».