Problemet er, at * er en binær operator, som skal være mellem to udtryk. Til x* skal du bruge en af disse opmærkninger:
*
x ^ { {} * {} }
x ^ {"*"}