menclose: several values in the "notation" attribute

Hi all,

I'm trying to add support for <menclose/> in Firefox and I wonder what should be
displayed when several values are given to the "notation" attribute. What I
think is that order and repetition of the values don't matter: "box circle box"
is the same as "box circle" or "circle box". Is it right?

Frédéric Wang