As far as I know, OpenMath project aims at developing
the standard notation to share libraries between
many computer algebra systems.
<A HREF="http://www-f.rrz.uni-koeln.de/themen/Computeralgebra/OpenMath/">
OpenMath Information Page
</A>
Thinking about cooperation of computer algebra systems
(like Maple, Mathematica, Reduce, ...) and
provers/proof-checkers/proof-assistants,
there is a chance to share the same notation for mathematical concepts.
But I myself have no experience using both systems, and
I cannot estimate to what extent the issue is important...
-- yozo.