Зиновьев. Очерки комплексной логики. Глава 2, § 2, Индивиды.

[Mihai]

Что означает символ ⇀ (верхняя половина стрелки вправо)?

[Mihai]

Контекст такой.

...термин-субъект а является индивидуальным, если и только если для любого термина b имеет силу следующее: если b ⇀ a, то a ⇀ b.