filename is a section in the reference manual that describes file names in Tcl.
A virtual filesystem can use an arbitrary scheme for separating components of a file name, so a literal separator character should never appear in a Tcl script, since it would presume something about a filesystem that it doesn't know. Instead, file join should always be used to join file names.