Treating (:) as a vanilla ConSym