Le caractère "⋨ " se nomme Précédente mais non équivalente à ( Precedes but not equivalent to ). Il est rangé parmi les caractères HTML Entities de la catégorie Opérateurs mathématiques. Son code est "⋨ ⋨ ". Son code décimal est "⋨ " et sa forme en hexadécimal est "⋨ ".