https://www.52unicode.com/empty-set-with-small-circle-above-unicode