Александр Мерзляков
Подскажите, пожалуйста, значение и название математических символов, описанных в кавычках:
(х "стрелка показывающая вниз" y) = > y(" игрик надчеркнут сверху") "галочка с острым концом к верху" z.
p.s. это значения для построения таблицы исенности