What's "protocol relative" // called (i.e. instead of http:// or https://)?

Question

You can write //google.com instead of http://google.com and https://google.com where // is relative to your current protocol. But what's the term for //?

Answer 1

A hierarchical partition? A segment separator? http://en.wikipedia.org/wiki/URI_scheme#Generic_syntax