If I have a simple equation such as this:

$$x+5-1=x+4$$

how can I denote that this equation is true? More specifically, if I refer to that equation as P(x), then is there a mathematical notation for saying "P(2) is true"?