Un petit dix avec un point à la fin, ou simplement ⒑