Barra vertical

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 digitando 124 (Alt+124) no teclado numérico.[1]

Como a barra vertical não é usada em textos normais, ela não conta como sinal de pontuação em si.

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))

Outros usos

  • Em compêndios e dicionários, como Duden ou Priberam, a barra vertical denota possíveis pontos de divisão de uma palavra ou descrição de elementos. Por exemplo: língua | n. f. | n. m.[2] ou Por|tu|gie|sisch.[3]
  • Em páginas de busca da internet para separar elementos (por exemplo, England | History, Map, Flag, Population, & Cities) ou informalmente para separar elementos em títulos em sites ou redes sociais (como substituto de vírgulas, travessões ou dois-pontos).

Referências

  1. ↑ Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics (GitHub version) (PDF). [S.l.]: Institute for Advanced Study. p. 108
  2. ↑ Redatores do Priberam (2015). «Língua». Dicionário Priberam. Consultado em 17 de setembro de 2022
  3. ↑ Redatores do Duden (2012). «Portugiesisch». Dicionário Duden da Língua Alemã. Consultado em 17 de setembro de 2022