https://www.52unicode.com/triple-vertical-bar-binary-relation-unicode