See PIP 0109 - Syntax for labeled subterms
To start/continue discussion: open a new topic within this subcategory or reply within an existing topic.R