User blog comment:Rgetar/Ordinal Explorer Online/@comment-11227630-20200219020901/@comment-32213734-20200219090337

I noticed another issue: what is [...][...]·α? Is it ([...][...])·α or [...]([...]·α)? They are different expressions, but currently they may be designated equally as [...][...]·α.

The same is for power: is [...][...]α ([...][...])α or [...]([...]α)?

I think to make a rule that "booster operation" has lower priority than "·" and power, so
 * [...][...]·α = ([...][...])·α
 * [...][...]α = ([...][...])α

And I think not to handle [...]([...]α and [...]([...]α cases, since such cases apparently do not arise in Cantor normal form and extended Cantor normal form formats. I hope this will not cause problems.