A relational symbol displaying a vertically centered colon used in mathematical definitions and set-builder notation.
