Re: presenting tableau calculi

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 UTC