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.