Das ist ein Test:
\displaystyle \vDash\neg(p \wedge q)\Leftrightarrow \neg p\vee \neg q \ Media:Beispiel.ogg