https://www.52unicode.com/empty-set-with-left-arrow-above-unicode