Transferring mathematical meaning

The problem of transferring mathematics notation between packages is one of transferring the meaning of the mathematics and not just the visual look of the equations.

This is also true of the web in that people want to be able to lift an equation out of a document and have their symbolic algebra package able to 'understand' it.