What is this construct? I don't see it used in the productions below.