X ^ y 0 ~