labeled operator

Мат. помеченный оператор

Источник: Полный англо-русский словарь на Gufo.me