Le nom du caractère "⇊ " est Downwards paired arrows ( Downwards paired arrows ). On le retrouve dans la catégorie Flèches principales des caractères HTML Entities. Son code est "⇊ ⇊ ". Sa forme en décimal est "⇊ " et sa représentation en hexadécimal est "⇊ ".