I dag brukes gjerne symbolet ■ (en hel sort firkant), som kalles ( eller på engelsk, sistnevnte oppkalt etter Paul Halmos, som var en pioner innen bruken av den sorte firkanten). Man kan også bruke en åpen , □ (en sort firkant med hvitt fyll). En annen enkel måte å fastsette beviset som ferdig på er enkelt og greit å skrive «bevist» eller bare «vist» i parentes etter det siste steget i beviset, eller å skrive to skråstreker .