W3C home > Mailing lists > Public > www-math@w3.org > October 2002

Re: presenting tableau calculi

From: Max Froumentin <mf@w3.org>
Date: Tue, 01 Oct 2002 11:56:55 +0200
To: Pietro Abate <abate@discus.anu.edu.au>
Cc: www-math@w3.org
Message-ID: <86r8fav5w8.fsf@sophia.inria.fr>

Pietro Abate <abate@discus.anu.edu.au> writes:

> hello everybody.
> I would like to represent a structure like this with mathml
[...]

From the ASCII art you've sent, it seems that it's something
you could achieve with mfracs within mtables

> On the web there are many Mathml examples but I was unable to find 
> any for this formalism...
>
> Do you have any examples or pointers about that ?

Not that I know of, sorry.

Max.
Received on Tuesday, 1 October 2002 05:57:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:51 GMT