I have come across both $P(\dots)$ and $\Pr(\dots)$ being used to represent probabilities. Is there any difference in the meaning of these notations, or are they just different shorthands?
I seem to come by $\Pr(\dots)$ more often in Bayesian probability contexts, though I wouldn't say that's a rule.
They are just different conventions. They don't signify any different meaning.
I personally find the $\Pr$ notation most useful when the discussion involves combinatorics. It distinguishes probability somewhat from permutation. (Unless you use ${^n{\rm P}_r}$ ...)
It also has that convenient LaTeX command
\Prwhich renders it in times roman font, and with some space padding, which helps it stand out in a line of multiplied probabilities using just a few keystrokes.