Predefinição:Sidebar A barra vertical (pipe) é um caractere ASCII 124, simbolizado por uma barra vertical | ou uma barra vertical interrompida ¦, pode ser facilmente criada com os botões shift esquerdo + barra inclinada para a esquerda ( \ ) ou apertando e segurando ALT esquerdo e apertando numero 5 quatro vezes (Alt+5555) no teclado numérico.[1]
Utilização
Matemática
A barra vertical é utilizada para
- o valor absoluto : , ou seja, o valor absoluto (ou módulo) de x.
- a (norma) : , que significa « a norma de x índice um, x índice dois » ; o Unicode possui um símbolo especial para a barra vertical dupla U+2016: ‖x‖
- definição : , que significa « Seja x tal que x é menor do que dois ». A pontuação de definição com barra vertical pode também ser substituída por dois pontos.
- probabilidade condicional : , que significa « a probabilidade de X dado Y ».
- divisibilidade : , que significa « a divisor de b ».
Linguagens de programação (C-family)
A barra vertical dupla é utilizada para separar alternativas;
Exemplo:
if ((x == y) || (x > y))
Funciona igual ao "ou".
Seria:
se ((x for igual ao y) ou (x for maior que y))
Referências
- ↑ Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (GitHub version) (PDF). [S.l.]: Institute for Advanced Study. p. 108