Although Zaycoff does not say it, he takes ~y as the complex-conjugate transposed function.