Nun, ich habe die Antwort nach einer besseren Suche gefunden. Es stellt sich heraus:
Mehrere Schrägstriche sind zulässig und entsprechen einem einzelnen Schrägstrich. Aus der Single Unix-Spezifikation (Version 3), Basisdefinitionen §3.266 Pfadname: "Mehrere aufeinanderfolgende Schrägstriche werden als ein Schrägstrich betrachtet."
Es gibt eine Ausnahme: Wenn ein Pfadname mit genau zwei Schrägstrichen beginnt, kann er anders behandelt werden (ref: Basisdefinitionen §4.11 Pfadnamenauflösung). Linux selbst macht dies nicht, obwohl einige Anwendungen dies tun können, andere Unix-Systeme (z. B. Cygwin).