Le nom du caractère "∷ " est Proportion ( Proportion ). On le retrouve dans la catégorie Opérateurs mathématiques des caractères HTML Entities. Son code est "∷ ∷ ". Il est représenté par le code décimal "∷ " et sa représentation en hexadécimal est "∷ ".