Le problème est que * est un opérateur binaire, qui doit se situer entre deux expressions. Pour obtenir x*, utilisez un de ces balisage :
*
x*
x ^ { {} * {} }
x ^ { "*" }