Syntax for special extensions