Le caractère "⋉ " se nomme Facteur normal gauche produit semidirect ( Left normal factor semidirect product ). Il est rangé parmi les caractères HTML Entities de la catégorie Opérateurs mathématiques. Son code est "⋉ ". Sa forme décimal est "⋉ " et sa représentation en hexadécimal est "⋉ ".