Double dash is a made up term, Crawford even clarified it in this link.