Dobbelt lodret linje

Hvad denne dobbeltstreg betyder i matematik, er en afgrænser. I ‖x‖ omslutter parret normstreger: en størrelse, længde eller magnitud for x. Ved matricer kan samme hegn omslutte en matrix eller dens matrixnorm, så læs notationen omkring.

Den dobbelte lodrette linjes historie er matematisk, ikke dekorativ. Dobbeltlinjenotationen blev indført af Arthur Cayley i 1843 med en dokumenteret matrixbrug i 1846. Den hører til en familie af lodrette tegn, hvor afgrænsere og operatorer ligner hinanden, men virker forskelligt.

Hvor ses dobbeltlinjen ellers?

I poesi markerer den en hård pause. Den dobbelte lodrette linje signalerer en cæsur, især når vers trykkes som prosa. I ældre bibeltryk kunne dobbeltstreger markere en marginalnote med alternativ formulering.

Et lignende indisk tegn, dobbelt danda, afslutter en strofe eller et afsnit. Det hører til sin egen skrifttradition, ikke til dette tegn. Matematisk typografi adskiller også denne afgrænser fra ∥, paralleloperatoren: to streger garanterer ikke én betydning.