O que significa ⨠
Liga as saídas de uma operação às entradas da seguinte.
Em Z, uma operação é descrita por um esquema: uma caixa com nome que lista as suas variáveis e as regras que elas cumprem. As entradas terminam em ponto de interrogação (valor?) e as saídas em ponto de exclamação (valor!). Em S ⨠ T, cada saída de S é emparelhada com a entrada de T do mesmo nome, as duas passam a ser um único valor, que fica escondido no resultado. Sobra uma só operação combinada, tal como um pipe no terminal envia a saída de um programa para outro.
Z (em inglês lê-se «zed») foi proposta por Jean-Raymond Abrial no fim dos anos 1970 e desenvolvida na Universidade de Oxford. Assenta na teoria dos conjuntos e serve para especificar software em que os erros saem caros. O encadeamento é um dos operadores do seu cálculo de esquemas, as regras para combinar esquemas.
Puramente técnico: aparece em especificações formais, aulas de informática e manuais, nunca em mensagens do dia a dia.
Não é (muito maior que) nem as aspas angulares ».
Faz parte das coleções
Não confunda com
2
Caracteres relacionados
2
Vale a pena saber
- O nome Z vem da teoria dos conjuntos de Zermelo-Fraenkel, a base matemática da linguagem. Z é norma internacional, ISO/IEC 13568, desde 2002.
Perguntas frequentes
2⨠ é o mesmo que >> em programação?
Não. Em linguagens do tipo C, >> desloca bits. Z só usa esses dois caracteres para escrever ⨠ em texto simples.
Porque é que ⨠ aparece como um quadrado?
A sua fonte não o tem. Fontes matemáticas como Cambria Math ou STIX incluem-no.
Mais símbolos semelhantes
8
Como digitar ou encontrar ⨠
- Também chamado
- pipe de esquemas · pipe Z · operador de encadeamento
- Pesquise como
- encadeamento de esquemas · pipe notação Z · pipe de esquemas Z · >> notação Z · símbolo pipe matemática · U+2A20
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
⨠\2A20Códigos e codificaçãoPontos de código: 1
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.