2.7.2  Translating the entire session to L^AT_EX

To export entire session to a L^AT_EX file, use the menu item File ▸ LaTeX ▸ LaTeX preview.