A corner delimiter symbol representing the lower right corner of a diagram or matrix in category theory.
