Noun, masculine
der Präferenzierungsoperator (n.) , {Infor.}