Si vous avez une fonte qui contient ce symbole, vous pouvez le définir comme symbole personnel. La famille de police DejaVu contient beaucoup de symboles mathématiques.