What's the meaning of the $\top$ symbol in a Hoare triple?

Question

I'm studying program verification and came across the following triple:
$$ \{\top\} \;P \; \{y=(x+1)\} $$ What's the meaning of the $\top$ symbol on the precondition? Does it mean $P$ can take any input?