fsymbols
Carregando símbolos…
››
⨡

Projeção de esquema na notação Z

Projeção de esquema na notação Z

⨡ é a projeção de esquema de Z: combina as condições de dois esquemas e mantém apenas os nomes do segundo. Assim, uma especificação preserva as restrições enquanto mostra menos variáveis.

Símbolo de texto
Pesquise como
zproject · projeção Z · projeção de esquema · projeção na notação Z · comando LaTeX project
Pode ser usado em
Qualquer campo de texto · a forma depende da fonte

O que significa ⨡

Mantém as condições dos dois esquemas, mas mostra apenas os nomes do segundo. Um esquema Z reúne variáveis nomeadas e condições; os nomes declarados formam sua assinatura.

Em S ⨡ T, as atribuições devem satisfazer os dois esquemas, mas só os nomes de T ficam visíveis. O ocultamento de esquema (S \ (x)) indica qual variável esconder. Um relatório de Oxford de 1984 descreve Z como uma linguagem para especificar sistemas computacionais. A norma ISO define projeção como operador de esquema; fontes podem desenhar ⨡ de outro modo ou não ter esse caractere.

Como digitar ⨡

Windows (Word)
Alt+XDigite 2A21 e pressione Alt+X para obter ⨡.
Windows
Win+RExecute charmap ou abra a aba de símbolos Ω com Win + .
macOS
Control+Command+SpaceAbra o visualizador de caracteres e procure o símbolo.
Linux
Ctrl+Shift+UDepois digite 2a21 e pressione Enter ou Espaço.
HTML
⨡
CSS
\2A21
LaTeX Z
A marcação LaTeX do Community Z Tools usa `\project` para ⨡.
Códigos e codificaçãoPontos de código: 1
HTML decimal
⨡
HTML hexadecimal
⨡
Conteúdo CSS
content: "\2A21";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%A8%A1
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.

Grupos deste símbolo

1

Matemática e números1.835 símbolos