Notation change in RiemMan, improved typography