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

Simbolos relacionados