' { } )$