""f8919d5 latex stuff
""