As an alternative to `X*`, I found that `X×` is not equivalent. I'm unsure if this intentional or an oversight of Unicode equivalence. Thanks!