  We prove that the principal pivot transform (also known as the partial
inverse, sweep operator, or exchange operator in various contexts) maps
matrices with positive imaginary part to matrices with positive imaginary part.
We show that the principal pivot transform is matrix monotone by establishing
Hermitian square representations for the imaginary part and the derivative.
