$\mathrm{BigK}(x, y)$