A relational symbol representing a right-shifted vertical bar used to denote normal subgroups or quotient operations in algebra.

A relational symbol representing a right-shifted vertical bar used to denote normal subgroups or quotient operations in algebra.