  The method of reflection positivity and infrared bounds allows to prove the
occurrence of phase transitions in systems with continuous symmetries. We
review the method in the context of quantum spin systems.
