X.org doesn’t use that character. But e.g. TeX probably did before Unicode.

		layer8 on July 24, 2023 \| parent \| context \| favorite \| on: Unicode Character “𝕏” (U+1D54F) X.org doesn’t use that character. But e.g. TeX probably did before Unicode.