https://www.52unicode.com/measured-right-angle-with-dot-unicode