O que significa ⨡
Mantém as condições dos dois esquemas, mas mostra apenas os nomes do segundo. Um esquema Z reúne variáveis nomeadas e condições; os nomes declarados formam sua assinatura.
Em S ⨡ T, as atribuições devem satisfazer os dois esquemas, mas só os nomes de T ficam visíveis. O ocultamento de esquema (S \ (x)) indica qual variável esconder. Um relatório de Oxford de 1984 descreve Z como uma linguagem para especificar sistemas computacionais. A norma ISO define projeção como operador de esquema; fontes podem desenhar ⨡ de outro modo ou não ter esse caractere.
Como digitar ⨡
⨡\2A21Có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.
