Большой англо-русский и русско-английский словарь
мат. предикатный символ
English-Russian big polytechnic dictionary
предикатный символ
assignment symbol — символ присваивания
displaying symbol — индицируемый символ
flowchart symbol — символ на блок-схеме
unnegated symbol — символ без отрицания
operational symbol — операционный символ