← Prev in month ← Prev in thread

mathml Content question

From
bryan <>
To
Date
2003-07-08T14:22:56Z
ID
<000901c3455c$6da65170$2001a8c0@bryans>
Thread
mathml Content question
Concerning the Content part of Mathml is it possible to make statements
of mathematical logic in it? For example can one in Mathml say the
following: 

(p->q),((~q)->(~p));
← Prev in month ← Prev in thread