A preconditioning technique for indefinite systems resulting from mixed approximations of elliptic problems | Synapse