Preconditioned proximal point algorithm

Given a positive-definite matrix $M$, the preconditioned proximal point map isIt is firmly nonexpansive in the weighted inner product $⟨v,w{⟩}_M=⟨v,Mw⟩$ whenever $F$ is monotone.