A geometric operator symbol representing modal possibility or diamond operators in logic and modal algebra.
