For 3, I imagine clarifications in parentheses are okay, maybe good enough, for the math domain. A more high-powered solution probably wouldn't come in handy all that often, and tables would probably help with the visual clutter. But I wonder as Arbital turns its eye towards more subjective domains whether the problem of describing theories or taxonomies that vary somewhat in the wild will come up more frequently, where statically explaining the multiple conventions in use ends up being considerably more complex to read than giving a more dynamic presentation. Less "this is a feature you need", more "this is an interesting opportunity to deliver a better learning experience than a textbook or encyclopedia article could provide".