Just for clarification, what does this syntax mean? I've never seen it, and I can't seem to find anything online.