You state that the ambiguity comes from the implicit multiplication and not the use of the obelus.
I.e. That 6 ÷ 2 x 3 is not ambiguous
What is your source for your statement that there is an accepted convention for the priority of the iinline obelus or solidus symbol?
As far as I’m aware, every style guide states that a fraction bar (preferably) or parentheses should be used to resolve the ambiguity when there are additional operators to the right of a solidus, and that an obelus should never be used.
Which therefore would make it the division expressed with an obelus that creates the ambiguity, and not the implicit multiplication.
(Rest of the post is great)