> but the question is how do you write the law?

I would have defined Libre Office as the reference implementation. Other software is allowed to the extent it reads/writes those files formats correctly.

I would also have mandated open source.