A relational symbol representing a shortened vertical bar used to denote restricted relations or partial divisibility.
