{\displaystyle p\Rightarrow q\,}