A double right bracket delimiter commonly used to denote semantic brackets in category theory and abstract algebra.
