Qué significa ⦉
Abre una ligadura en la notación Z.
Una ligadura asocia nombres de componentes con valores; los tipos de esquema declaran sus tipos. En ⦉x:X⦊, x tiene el tipo X, no un valor asignado.
Un informe sobre la semántica formal de Z apareció en 1984. El estándar Z Base, publicado en 1992, define las extensiones de ligadura como asociaciones de nombres con expresiones. Esas fechas sitúan la idea de ligadura, no el origen de este corchete.
Notación especializada para especificaciones formales en Z.
El ⦉ de apertura necesita su ⦊ de cierre.
No lo confundas con
1Ideas de combinaciones
1Una declaración de tipo de esquema: el componente x tiene tipo X.
Cómo escribir ⦉
Windows (Word)
Alt+XEscribe 2989 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 2989 y pulsa Enter o Espacio.
HTML
⦉CSS
\2989Composición tipográfica de Z
Un sistema tipográfico para Z puede definir `\lblot` para este signo de apertura.
Código Java
En código Java, escribe `\u2989` para representar este carácter.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⦉
HTML hexadecimal
⦉
Contenido CSS
content: "\2989";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%A6%89
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.