{\displaystyle P\Rightarrow Q\,}