https://www.52unicode.com/integral-with-double-stroke-unicode