RobS: started to add Latex formatting