O que significa ⌜
Abre uma citação de canto.
Em 1940, o lógico W. V. Quine introduziu a quasicitação: referir-se a uma expressão não especificada enquanto se mostra sua forma. Os cantos emparelhados também podem indicar o número de Gödel de uma fórmula, o número atribuído a ela para que a aritmética possa referenciá-la.
Pontuação formal usada em lógica e composição matemática.
Sozinho, ⌜ parece inacabado; fecha o par.
Faz parte da coleção
Não confunda com
2
Caracteres relacionados
1
Ideias de combinações
1Na numeração de Gödel, indica o número atribuído à fórmula φ.
Mais símbolos semelhantes
13
Coleções com ⌜
4
Como digitar ou encontrar ⌜
- Também chamado
- canto de Quine · citação de canto
- Pesquise como
- ulcorner · quasicitação · número de Gödel · ulcorner no LaTeX
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
Windows (Word)
Windows
HTML
⌜CSS
\231CLaTeX
Use o comando LaTeX \ulcorner; combine-o com \urcorner para o canto direito.
Códigos e codificaçãoPontos de código: 1
HTML decimal
⌜
HTML hexadecimal
⌜
Conteúdo CSS
content: "\231C";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%8C%9C
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.