fsymbols
🔍
Carregando símbolos…
››
⨾

Composição relacional da notação Z

Composição relacional da notação Z

⨾ encadeia duas relações, de modo que o resultado da primeira possa servir de entrada para a segunda. Na notação Z, usada para especificações precisas de software, também pode ligar operações por meio de um estado intermediário. A convenção do ponto e vírgula para compor relações remonta a 1895; Z foi padronizada internacionalmente em 2002.

Símbolo de texto
Também chamado
ponto e vírgula grosso
Pesquise como
notação Z · composição relacional · composição sequencial · composição de esquemas · especificação Z
Pode ser usado em
Qualquer campo de texto · a forma depende da fonte

O que significa ⨾

Ele compõe duas relações por meio de um valor intermediário compartilhado. Na notação Z, a composição relacional permite que o resultado da primeira relação se torne uma entrada da segunda. O operador também pode encadear operações, como em Check ⨾ Reserve: a primeira precisa deixar um estado que a seguinte possa usar.

A convenção do ponto e vírgula para a composição relacional é anterior à notação Z; referências a situam no livro de Ernst Schröder de 1895. Z adotou essa composição para especificações precisas de software, e sua norma internacional foi publicada em 2002.

Notação matemática especializada para especificações Z, em que o tipo e a ordem dos operandos determinam a composição.

Não confunda com

1
⨟
Composição de esquemas Z
⨟ compõe esquemas Z — descrições estruturadas de operações —, enquanto ⨾ compõe relações. Os elementos são diferentes, embora os dois sinais expressem composição.

Como digitar ⨾

Windows (Word)
Alt+XDigite 2A3E 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 2a3e e pressione Enter ou Espaço.
HTML
⨾
CSS
\2A3E
Códigos e codificaçãoPontos de código: 1
HTML decimal
⨾
HTML hexadecimal
⨾
Conteúdo CSS
content: "\2A3E";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%A8%BE
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

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣