Ask HN: Why are capital C, H, P, and Q bold in Unicode Double Struck Font?