 It may be interesting to note that there is a difference between \(\wr\) and Schönfinkel’s \(U\). Not only the place of the bound variable is different, but \(\wr\) builds in contraction for \(n-1\)  variables (which are separated by \(\mid^-\) and other symbols in the left-hand expression).