You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As you can see on the screeshot, there is no visual indication that a proof is finished. In the screenshot, the first paragraph is inside a proof environnement and the second is after the proof (so the proof ends with the first paragraph of the screenshot).
Is it possible to change this behavior, for example by adding a symbol akin to the \qed symbol of the amsthm package?