formulas run off the page in the PDF

[Mark Ettinger]

When I export my spec to a PDF file, several long lines run off the page.  Is there a way of formatting from within my .tla file or would need to adjust the final PDF by editing the generated TEX file directly?

Thank you in advance.