= знак равенства: (1) «равно (эквивалентно)», с. 93 (2) тождество референции, с. 412
«не равно (неэквивалентно)», с. 93
«эпсилон»: принадлежность классу, с. 173, 177, 412
-> стрелка: (1) «в диахронии переходит в», с. 49 (2) «переписывается как», с. 174
знак эквивалентности: двусторонняя импликация, с. 474