X * ♦ U.