fsymbols
Cargando símbolos…
››
⩥

Antirrestricción de rango en Z

Antirrestricción de rango en Z

En la notación Z, ⩥ es el operador de antirrestricción de rango: elimina los pares de una relación cuyo valor derecho pertenece al conjunto excluido. En <code>R ⩥ T</code>, un par <code>x ↦ y</code> permanece solo si <code>y</code> está fuera de <code>T</code>. Sirve para excluir resultados y conservar los demás pares de la relación.

Símbolo de texto
Búscalo como
rsub · antirrestricción de rango · notación Z · antirrestricción del dominio · restricción de rango
Se puede usar en
Cualquier campo de texto · su forma depende de la fuente

Qué significa ⩥

Comprueba el valor derecho de cada par. Para la relación R y el conjunto T, R ⩥ T elimina x ↦ y exactamente cuando y ∈ T; el valor de x no decide el resultado.

En el álgebra de relaciones de Z, ⩥ forma pareja con ⩤, la antirrestricción del dominio, que aplica la exclusión al valor izquierdo del par. Un analizador léxico de Z reconoce ambos como operadores. Una propuesta de Unicode fechada el 14 de marzo de 2000 (March 14, 2000) incluyó ⩥ entre los operadores matemáticos; eso marca un hito de codificación, no el inicio de la notación.

No lo confundas con

1

Cómo escribir ⩥

Windows (Word)
Alt+XEscribe 2A65 y pulsa Alt+X para obtener ⩥.
Windows
Win+REjecuta charmap o abre la pestaña de símbolos Ω con Win + .
macOS
Control+Command+SpaceAbre el visor de caracteres y busca el símbolo.
Linux
Ctrl+Shift+UDespués escribe 2a65 y pulsa Enter o Espacio.
HTML
&#x2A65;
CSS
\2A65
Cómo escribir ⩥
En un editor que admita entrada Unicode hexadecimal, introduce `2A65` y usa el atajo indicado por ese editor; varía según la aplicación.
Comando LaTeX de ⩥
Con Unicode-math y XCharter-Math, la tabla de la fuente asigna `\rsub` a ⩥.
Compatibilidad de fuentes con ⩥
La fuente matemática debe incluir este glifo. Si aparece un recuadro de carácter ausente, elige una fuente que lo contenga.
Códigos y codificaciónPuntos de código: 1
HTML decimal
&#10853;
HTML hexadecimal
&#x2A65;
Contenido CSS
content: "\2A65";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%A9%A5
1
En pantalla
1
Puntos de código
1
JS .length
3
Bytes UTF-8

Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.

Grupos de este símbolo

1

Matemáticas y números1835 símbolos