fsymbols
🔍
Cargando símbolos…
››
⨾

Composición relacional de la notación Z

Composición relacional de la notación Z

⨾ encadena dos relaciones, de modo que el resultado de la primera puede servir de entrada a la segunda. En la notación Z, usada para especificaciones precisas de software, también puede enlazar operaciones mediante un estado intermedio. La convención del punto y coma para componer relaciones se remonta a 1895; Z se normalizó internacionalmente en 2002.

Símbolo de texto
También llamado
punto y coma grueso
Búscalo como
notación Z · composición relacional · composición secuencial · composición de esquemas · especificación Z
Se puede usar en
Cualquier campo de texto · su forma depende de la fuente

Qué significa ⨾

Compone dos relaciones mediante un valor intermedio compartido. En la notación Z, la composición relacional permite que un resultado de la primera relación pase a ser una entrada de la segunda. También puede enlazar operaciones, como en Check ⨾ Reserve: la primera debe dejar un estado que la siguiente pueda usar.

La convención del punto y coma para la composición relacional es anterior a Z; algunas referencias la remontan al libro de texto de Ernst Schröder de 1895. Z adoptó esta composición para especificar software con precisión, y su norma internacional se publicó en 2002.

Notación matemática especializada para especificaciones Z: el tipo y el orden de los elementos determinan la composición.

No lo confundas con

1
⨟
Composición de esquemas Z
⨟ compone esquemas Z —descripciones estructuradas de operaciones—, mientras que ⨾ compone relaciones. Los elementos que se combinan son distintos, aunque ambos signos expresan composición.

Cómo escribir ⨾

Windows (Word)
Alt+XEscribe 2A3E y pulsa Alt+X para obtener ⨾.
Windows
Win+REjecuta charmap o abre la pestaña de símbolos Ω con Win + .
macOS
Control+Command+SpaceAbre el visor de caracteres y busca el símbolo.
Linux
Ctrl+Shift+UDespués escribe 2a3e y pulsa Enter o Espacio.
HTML
⨾
CSS
\2A3E
Códigos y codificaciónPuntos de código: 1
HTML decimal
⨾
HTML hexadecimal
⨾
Contenido CSS
content: "\2A3E";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%A8%BE
1
En pantalla
1
Puntos de código
1
JS .length
3
Bytes UTF-8

Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.

Grupos de este símbolo

1

Matemáticas y números1835 símbolos

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