Template:Binary group property operator