O que significa ⧹
Ele oculta variáveis selecionadas sem descartar suas restrições. A notação Z é uma forma formal de descrever software. Um esquema é um conjunto nomeado de variáveis e condições. Ao ocultar variáveis, seus nomes deixam de ser exibidos, mas a especificação ainda exige que alguns valores satisfaçam suas condições.
O padrão Z Base já documentava esse uso em 1992.
Não confunda com
2∖\
Sinal de diferença de conjuntos
Unicode relaciona ∖ à diferença de conjuntos, que remove os elementos de um conjunto de outro. Na notação Z, ⧹ serve especificamente para ocultar nomes de um esquema.
Barra invertida
A barra invertida comum é um caractere do teclado usado em caminhos de arquivos e programação. Este símbolo matemático tem um uso distinto na notação Z.
Como digitar ⧹
Windows (Word)
Alt+XDigite 29F9 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 29f9 e pressione Enter ou Espaço.
HTML
⧹CSS
\29F9LaTeX
O pacote `unicode-math` associa `\xbsol` a ⧹.
Códigos e codificaçãoPontos de código: 1
HTML decimal
⧹
HTML hexadecimal
⧹
Conteúdo CSS
content: "\29F9";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%A7%B9
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.