Add a definition about saving latex representation of a term in a file capturing `print` stdout.
Add a definition about saving latex representation of a term in a file capturing `print` stdout.

massimo-nocentini/simulation-methods,massimo-nocentini/simulation-methods