U+2115 ℕ (nat) U+2119 ℙ (prop) U+2124 ℤ (int) U+1D539 𝔹 (bool) These would be very useful for (among many others) anyone working with the [Coq proof assistant](https://coq.inria.fr/).
U+2115 ℕ (nat)
U+2119 ℙ (prop)
U+2124 ℤ (int)
U+1D539 𝔹 (bool)
These would be very useful for (among many others) anyone working with the Coq proof assistant.