" ⇌ / X*" . . . " ⇌ / X*" . .