at can be displayed at any one time. However, a few very long axioms may go off the edge of the screen as a result. While it's still possible to view the assertion by enlarging the window or displaying the assertion in detail by clicking on the colored ball, many users prefer to set the Wrap Assertions option. Setting this option causes assertions to be displayed entirely on the screen, though it allows for fewer assertions to be seen at any given time.</p>
<p style="font-family: 'Times New Roman'; line-hei