A decorative star-shaped binary operator commonly used in mathematical proofs to mark significant equations or results.
