Вопросы к Поиску с Алисой
→ — символ, который используется для обозначения импликации (логического следствия). www.work5.ru ru.eitca.org
Также для этой операции могут применяться и другие символы: ⊃ или ⟹. bigenc.ru