It’s literally just a Unicode character.

From elsewhere:

𝕏 is a generic Unicode character known as “mathematical double-struck capital X.”