Symbol: max_P