A right-corner bracket delimiter commonly used in formal logic and set theory to denote semantic interpretation.