theory tex update