A binary relation symbol representing left triangular operations or left normal subgroups in abstract algebra.
