Interessante equivoco

, è vero che il simbolo OR è una doppia barretta "||" (*), ma chi ha scritto "doppia barretta" intendeva dire che sulla tastiera, sopra a "\", c'è una barretta... divisa in due, che quindi appare come due barrette ALLINEATE VERTICALMENTE, tipo così:
|
|
Mi sono sempre chiesto perchè sullo schermo appaia diversamente, che ci voleva a togliere un pixel?!?
(*)a proposito, la "barretta" in gergo informatico si chiama proprio "pipe", cioè "tubo", e serve, in Linux, a redirigere l'output di un programma verso un altro, na mezza specie di "<" e ">" in windows, non ho mai ben capito...