Linha vertical dupla

O que esta barra dupla significa em matemática é um delimitador. Em ‖x‖, o par envolve barras de norma: um tamanho, comprimento ou magnitude de x. Com matrizes, a mesma cerca pode envolver a matriz ou sua norma, por isso leia a notação ao redor.

A história da linha vertical dupla é matemática, não decorativa. A notação de linha dupla foi introduzida por Arthur Cayley em 1843, com ocorrência matricial documentada em 1846. Pertence a uma família de marcas verticais em que delimitadores e operadores se parecem mas funcionam diferente.

Onde mais a linha dupla aparece?

Na poesia, marca uma pausa forte. A linha vertical dupla indica uma cesura, sobretudo quando o verso é impresso como prosa. Em impressões bíblicas antigas, barras duplas podiam sinalizar uma nota marginal com redação alternativa.

Uma marca indiana parecida, o danda duplo, encerra uma estrofe ou seção. Pertence à sua própria tradição escrita, não a este caractere. A tipografia matemática também separa este delimitador de ∥, o operador de paralelismo: dois traços não garantem um só sentido.