Qué significa ⨡
Conserva las condiciones de ambos esquemas, pero muestra solo los nombres del segundo. Un esquema Z agrupa variables y condiciones; sus nombres declarados forman su firma.
En S ⨡ T, las asignaciones deben satisfacer ambos esquemas, pero solo quedan visibles los nombres de T. El ocultamiento de esquemas (S \ (x)) indica qué variable retirar. Un informe de Oxford de 1984 describe Z como un lenguaje para especificar sistemas informáticos. La norma ISO define la proyección como operador de esquemas; las fuentes tipográficas pueden mostrar ⨡ con otra forma o no incluirlo.
Caracteres relacionados
2
Y lógico
En Z, la conjunción de esquemas combina esquemas. La proyección conserva sus condiciones comunes, pero solo muestra los nombres del esquema de la derecha.
Barra inversa
En Z, el ocultamiento de esquemas esconde variables con nombre. La proyección también reduce los nombres visibles, pero los toma del esquema de la derecha.
Más símbolos similares
9
Cómo escribir o encontrar ⨡
- Búscalo como
- zproject · proyección Z · proyección de esquema · proyección de la notación Z · proyecto LaTeX
- Se puede usar en
- Cualquier campo de texto · su forma depende de la fuente
Windows (Word)
Windows
HTML
⨡CSS
\2A21LaTeX de Z
El marcado LaTeX de Community Z Tools usa
\project para ⨡.Códigos y codificaciónPuntos de código: 1
HTML decimal
⨡
HTML hexadecimal
⨡
Contenido CSS
content: "\2A21";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%A8%A1
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.