Is there a way to allow text to wrap in a table cell? Or to adjust the height of a cell so more than one line of text is visible?
This is to facilitate two-column proofs, so there is also a sketch component on the screen that allows them to label the diagram they are proving some conjecture about. With both components present, the table is not very wide and some text gets clipped.