added the language strings and syntax element for the new method to_tex as described in ticket #687.
Authored by: raph-z 2022-09-13
Parent: [r422]
Child: [r424]