Some more automatic conversion from latex