Qué significa ⧹
Oculta variables seleccionadas sin descartar sus restricciones. La notación Z es una forma formal de describir software. Un esquema es un conjunto con nombre de variables y condiciones. Al ocultar variables, sus nombres dejan de mostrarse, pero la especificación aún exige que algunos valores hagan verdaderas sus condiciones.
El estándar Z Base de 1992 ya documenta este uso.
No lo confundas con
2∖\
Signo menos de conjuntos
Unicode remite de ∖ a la diferencia de conjuntos, que quita los elementos de un conjunto de otro. En la notación Z, ⧹ oculta específicamente nombres de un esquema.
Barra inversa
La barra inversa común es un carácter de teclado usado en rutas de archivos y programación. Este símbolo matemático tiene un uso distinto en la notación Z.
Cómo escribir ⧹
Windows (Word)
Alt+XEscribe 29F9 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 29f9 y pulsa Enter o Espacio.
HTML
⧹CSS
\29F9LaTeX
El paquete `unicode-math` asigna `\xbsol` a ⧹.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⧹
HTML hexadecimal
⧹
Contenido CSS
content: "\29F9";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%A7%B9
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.