PFET (P channel JFET) and P channel MOSFET symbols are completely different.
The original post has, without question, a P channel MOSFET symbol, in fact it’s shown as an enchantment mode P channel MOSFET.
A "P" channel FET will have the arrow on the gate pointing away from (out of) the gate, whereas a N channel's gate arrow will point towards the gate.
In a P channel MOSFET, the body diode anode is the drain and the cathode is the source, so the source should have been connected toVin.
JFET symbols: