This follows the precedent for Arabic maths symbols where characters have been encoded even though there is a visual equivalent elsewhere in Unicode, especially because there is a different meaning and there are other examples in Unicode e.g. U+060d Arabic Date Separator.