Hello,
I recently updated on my web site my XML package:
http://www.maths-informatique-jeux.com/international/xml_package.tar.gz . Here
is a quick sum up of the changes since my last message:
1) Logical Symbols: I followed the suggestions given on the mailing list, except
for nand & nor that don't exist in Content MathML. Also it seems that the
"Equivalence" operator is no longer n-ary in MathML 3 so I only translated it as
a binary operator (however it can be a mistake of the Working Draft, I'll check
that later...).
2) % is used for set of numbers. "Not a Number" is translated by %NaN.
3) "a factorof b" is now translated by "remainder(b, a) = 0".
4) left_inverse, right_inverse, inverse (<inverse/>) and left_compose
(<compose/>).
5) selectors on vector and matrix.
6) definition of matrix and vector using "column".
7) Finally, there are also new .mml files in the tests/ directory.
--
Fr?d?ric WANG