Unicode gir tegn til å bruke i beviser som tegnet U+220E (∎), men også tegnene U+25A0 (■, sort firkant) og U+2023 (‣, åpen firkant) som alternativer.