Подскажите, пожалуйста, значение и название математических (или не математических) символов, описанных в кавычках :

(х "стрелка показывающая вниз" y) = > y(" игрик надчеркнут сверху") "галочка с острым концом к верху" z.

p.s. это значения для построения таблицы истинности.