His looks more the double-struck capital X from unicode math symbols. From the family of symbols that denote special sets of numbers (think doublestruck R for the real numbers, double struck Q for the rationals, double struck Z for the integers, etc)