O que significa ⦂
Eles separam o nome declarado da expressão de tipo. Z é uma linguagem formal para descrever sistemas computacionais. Numa declaração, o nome vem antes de ⦂ e depois aparece uma expressão de conjunto; ela restringe os valores possíveis e determina o tipo da variável.
A notação Z surgiu do trabalho de Jean-Raymond Abrial no final da década de 1970 e se desenvolveu depois em Oxford. Textos de Z costumam imprimir : nessa função; ⦂ é uma forma Unicode específica.
Caractere especializado de especificações formais em notação Z.
Não confunda com
1
Mais símbolos semelhantes
10
Como digitar ou encontrar ⦂
- Pesquise como
- notação Z · dois-pontos de tipo · dois-pontos Z · dois-pontos matemáticos
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
Windows (Word)
Windows
HTML
⦂CSS
\2982Como digitar os dois-pontos de tipo da notação Z
Use um método de entrada hexadecimal Unicode para U2982; as teclas variam conforme o dispositivo.
Se os dois-pontos de tipo da notação Z não aparecem
Se ⦂ estiver ausente ou aparecer como um quadrado, a fonte talvez não o inclua; escolha uma com suporte a U2982.
Códigos e codificaçãoPontos de código: 1
HTML decimal
⦂
HTML hexadecimal
⦂
Conteúdo CSS
content: "\2982";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%A6%82
1
Na tela
1
Pontos de código
1
JS .length
3
Bytes UTF-8
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.