If you have a font that contains the symbol you want, you can define it as a user-defined symbol. The DejaVu family of fonts contains many mathematical symbols.