updated tex. Synthesise the result.