Если у вас есть шрифт, который содержит нужный символ, вы можете использовать его как пользовательский символ. Семейство шрифтов DejaVu содержит много математических символов.