cov non 𝒦 cof 𝒦 cof 2 0 𝔟 𝔡 1 add add 𝒦 cov 𝒦 non