5.8.6 ‘@)’: End meta-comment

See the discussion of ‘@(’, @(’: Begin meta-comment.