En Unicode, es el carácter U+2207, o 8711 en notación decimal.