// é um caso especial, abordado na definição POSIX da palavra "Pathname" :
Multiple successive
<slash>characters are considered to be the same as one<slash>, except for the case of exactly two leading<slash>characters.
Na maioria dos sistemas // é o mesmo que / , mas é permitido ser diferente de acordo com POSIX.
Leitura adicional:
- Em quais sistemas é // foo / bar diferente de / foo / bar?
- Como o Linux lida com vários separadores de caminho consecutivos (/ home //// username /// file)?
- unix, diferença entre o caminho que começa com '/' e '//'
(acho que o primeiro desses links é o melhor.)