🔍

Carregando símbolos…

››

⦁

Z Notation Spot

Z Notation Spot

⦁ separa uma declaração da expressão avaliada na notação Z. Com ∃, leia como “tal que”; com ∀, ele introduz o que deve ser verdadeiro. É um caractere de especificação formal, não um marcador decorativo.

Símbolo de texto

Pesquise como: z · ponto · marcador · predicado · quantificador · esquema
Pode ser usado em: Qualquer campo de texto · a forma depende da fonte

O que significa ⦁

Ele separa declarações do predicado ou expressão seguinte. Em ∃ x : S ⦁ P, algum x de S torna P verdadeiro. Em ∀ x : S ⦁ P, todo x de S deve satisfazer P.

Não confunda com

3

Marcador de lista

Um marcador comum de lista, sem gramática Z.

Operador marcador

Um operador matemático de ponto, não o separador Z.

Um círculo preto maior com outra função.

Ideias de combinações

2

Existe um x em S tal que P é verdadeiro.

Todo x em S deve satisfazer P.

Como digitar ⦁

Windows (Word)

Alt+XDigite 2981 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 2981 e pressione Enter ou Espaço.

HTML

⦁

CSS

\2981

Códigos e codificaçãoPontos de código: 1

HTML decimal

⦁

HTML hexadecimal

⦁

Conteúdo CSS

content: "\2981";

Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.

Codificação URL

%E2%A6%81

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️⃣