Symbol: p_if