Add some latex stuff