[x|y] = [ ].