Suppose we need to prove that the proposition <math>p</math> is true
Suppose we need to prove that the proposition p {\displaystyle p} is true