A punctuation mark used to denote maps, functions, or definitions in mathematical expressions and proofs.
