O que significa ⦇
Ele abre uma expressão de imagem relacional na notação Z.
Z é uma linguagem matemática para descrever com precisão programas e outros sistemas discretos. Em R⦇S⦈, a relação R associa valores, e S é um conjunto; a expressão indica os valores associados a pelo menos um elemento de S.
O trabalho de Jean-Raymond Abrial sobre Z começou no fim dos anos 1970. Pesquisadores de Oxford desenvolveram a notação, usada em projetos industriais nos anos 1980; mais tarde, ela passou a fazer parte do ensino de métodos formais.
Muito técnico: indica uma especificação Z ou uma notação relacional no estilo Z.
Feche com ⦈, não com um parêntese comum.
Caracteres relacionados
1
Ideias de combinações
1A imagem relacional de S por R: valores associados a pelo menos um elemento de S.
Mais símbolos semelhantes
9
Como digitar ou encontrar ⦇
- Também chamado
- colchete de imagem · colchete de imagem relacional · limg
- Pesquise como
- imagem relacional · operador de imagem · colchete da notação Z · R⦇S⦈
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
Códigos e codificaçãoPontos de código: 1
HTML decimal
⦇
HTML hexadecimal
⦇
Conteúdo CSS
content: "\2987";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%A6%87
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.