@giacomarko in effetti sono proprio iconcine che ho disegnato, perché con i caratteri html la resa non era uguale in piattaforme diversi (iOS vs Android etc). Queste iconcine hanno però una significato indipendente dal tipo di punto, penso che cambiarle possa fare un po' di confusione.
Qualche altra idea:
usando il colore del numero
carattere del nome non in grassetto (forse questo è quella che mi piace di più)
carattere non in grassetto e più piccolo
