https://www.52unicode.com/reversed-double-stroke-not-sign-unicode