⊥
Operador matemático 162
- Unicode
- U+22A5
- Categoria
- Matematica
- HTML Entity
- ⊥
- CSS
- \22A5
O símbolo ⊥ (oficialmente chamado de "tacha para cima") é um operador matemático clássico com múltiplos significados dependendo do contexto. Na geometria, ele indica que duas linhas ou planos são perpendiculares, cruzando-se em um ângulo perfeito de 90 graus. Já na lógica matemática e na ciência da computação, o símbolo assume o nome de "bottom" (fundo) e é usado para representar uma contradição incontornável, o valor falso absoluto ou o elemento mínimo em uma estrutura de dados.
Como digitar
- Windows
- Alt+8869 ou digite 22A5 e pressione Alt+X (no Word)
- macOS
- Control+Command+Space e pesquise por "perpendicular"
- Linux
- Ctrl+Shift+U 22A5
- HTML
- ⊥ ou ⊥
Em programacao
Em LaTeX, o símbolo é gerado com o comando \perp (para geometria) ou \bot (para lógica). Na teoria da computação e inferência de tipos, representa o tipo de dado vazio ou ausência de valor de retorno em uma função que nunca termina.
Tags
perpendicular
falso
ortogonal
lógica
matemática