OpenMath, I couldn't find exists unique anywhere in the content dictionaries, so I wrote my own. Let me know if it has enough information.
Regards, Andrew Robbins
quant2.ocd
Description: Binary data
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
