“…In the case of the generalized Stokes problem, spectrally equivalent approximations A and S are known that lead to asymptotically optimal preconditioners, i.e., preconditioners that result in rates of convergence independent of the discretization parameter h; see, e.g., [9,10,21,29]. One can also consider indefinite block diagonal preconditioners of the form…”