Qué significa ⌜
Abre una cita de esquina.
En 1940, el lógico W. V. Quine introdujo la cuasicitación: referirse a una expresión no especificada mostrando cómo se forma. Las esquinas emparejadas también pueden indicar el número de Gödel de una fórmula, el número que se le asigna para que la aritmética pueda referirse a ella.
Puntuación formal de lógica y composición matemática.
Solo, ⌜ parece incompleto; cierra el par.
Forma parte de la colección
No lo confundas con
2
Caracteres relacionados
1
Ideas de combinaciones
1En la numeración de Gödel, indica el número asignado a la fórmula φ.
Más símbolos similares
13
Colecciones con ⌜
4
Cómo escribir o encontrar ⌜
- También llamado
- esquina de Quine · cita de esquina
- Búscalo como
- ulcorner · cuasicitación · número de Gödel · ulcorner en LaTeX
- Se puede usar en
- Cualquier campo de texto · su forma depende de la fuente
Windows (Word)
Windows
HTML
⌜CSS
\231CLaTeX
Usa el comando de LaTeX \ulcorner; emparéjalo con \urcorner para la esquina derecha.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⌜
HTML hexadecimal
⌜
Contenido CSS
content: "\231C";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%8C%9C
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.