15.3.6.10 Internal syntactic bindings: synonym syntaxes

A syntactic binding representing a keyword binding associated to a synonym syntax has descriptor with format:

($synonym . ?synonym-label)

where ?synonym-label is the label gensym associated to the aliased syntax; How synonym syntaxes work.