::
Beh, per avere la bella grafica, con il quadratino in fondo a destra alla fine per segnalare la fine della dimostrazione 😛
Hai provato a cambiare la dimensione del font nell’ambiente proof?
Per il quadratino ci sono comandi appositi (quadratino pieno, vuoto ecc.) che puoi inserire a mano
