A relational symbol combining a right-pointing triangle with an equals sign to denote normal subgroups in group theory.
