OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] mathml Content question

[ Lists Home | Date Index | Thread Index ]

> For example can one in Mathml say the
> following: 

> (p->q),((~q)->(~p));


(Or at least the two statements (p->q) and ((~q)->(~p))
if the , and ; were intended to have formal meaning there, the answer is
probably still yes, but it depends what you meant.


This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS