Formula

$$\lnot \left(\lnot p \right) \iff p$$

Tags

Edit this formula