\blacklozenge

A filled diamond-shaped operator commonly used to mark the end of proofs or as a binary relation in advanced mathematics.