> pro: works in OpenMath 2 > con: a condition that is symmetric in its variables is represented > asymmetrically
This is a pretty mild con, compared to encodings that are incompatible with all existing openmath and mathmml systems. David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
