Syntax export