\Box - LaTeX Symbol

Back to Symbols

□

\Box

The \Box symbol is often used in mathematical logic and modal logic to denote necessity or to represent a placeholder for a variable or an unspecified operator. It can also be used in proofs to signify the end of a proof, similar to a QED symbol.

Examples

□ A

In modal logic, this denotes that 'A' is necessarily true.

\Box A

P \to □ Q

In modal logic, this represents 'if P is true, then Q is necessarily true.'

P \to \Box Q

□

Used at the end of a proof to signify its completion, similar to a QED symbol.

\Box