Qué significa ⦂
Separa el nombre declarado de la expresión de tipo. Z es un lenguaje formal para describir sistemas informáticos. En una declaración, el nombre va antes de ⦂ y después aparece una expresión de conjunto; esta limita los valores posibles y determina el tipo de la variable.
La notación Z surgió del trabajo de Jean-Raymond Abrial a finales de la década de 1970 y se desarrolló más en Oxford. Los textos Z suelen imprimir : para esa función; ⦂ es una forma Unicode específica.
Carácter especializado de las especificaciones formales en notación Z.
No lo confundas con
1
Más símbolos similares
10
Cómo escribir o encontrar ⦂
- Búscalo como
- notación Z · dos puntos de tipo · dos puntos Z · dos puntos matemáticos
- Se puede usar en
- Cualquier campo de texto · su forma depende de la fuente
Windows (Word)
Windows
HTML
⦂CSS
\2982Cómo escribir los dos puntos de tipo de Z
Usa un método de entrada hexadecimal de Unicode para U2982; las teclas dependen del dispositivo.
Si no aparece el dos puntos de tipo de Z
Si falta o aparece como un recuadro, la fuente quizá no lo incluya; elige una con soporte para U2982.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⦂
HTML hexadecimal
⦂
Contenido CSS
content: "\2982";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%A6%82
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.