format the proof text if possible