Adds tex for 4.2