Symbol: P_IMPLY