| Original | Umsetzung |
|---|---|
| $\forall$ | $\forall$ |
| $\exists$ | $\exists$ |
| $\nexists$ | $\nexists$ |
| $\bigwedge$ | $\bigwedge$ |
| $\bigvee$ | $\bigvee$ |
| Original | Umsetzung |
|---|---|
| $\forall$ | $\forall$ |
| $\exists$ | $\exists$ |
| $\nexists$ | $\nexists$ |
| $\bigwedge$ | $\bigwedge$ |
| $\bigvee$ | $\bigvee$ |