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