Use tex for theory, not Rnw