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

editar

Matemática

editar

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)

editar

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

editar
  • 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 
  Este artigo sobre tipografia é um esboço. Você pode ajudar a Wikipédia expandindo-o.