[texhax] Width of rules using the semantic package

[James Smith]

Hi,

I'm using the semantic package to typeset some computation trees. The rules
are extending too far, unfortunately, and I can see nothing in the
documenation that would allow me to correct this. I suspect this explanation
isn't very clear, so I'm including some code here:

+++

\usepackage{semantic}

\[
\inference
{(([d(0,5)].[d(3,5)]).[d(3,1),i(3,y)]).([d(0,5)].[d(0,1)]).[d(3,5),i(3,our)]
}
{
\inference
{[d(0,3)].[i(3,y)].[].[d(3,5),i(3,our)]}
{
\inference
{[d(0,3)].[i(3,y)].[d(3,5),i(3,our)]}
{
\inference
{
[d(0,3)].([i(3,y)].[d(3,5)]+([d(3,5).[i(3,y)])).[i(3,our)]
}
{
}
}
}
}
\]

+++

I wonder whether the sematic package will ever do the job. The only solution
I can think of is not to use nesting but to lay the rules out one under the
other in a table although I'm sure this will create other problems.

It's good to be back on the texhax mailing list. I used to be on here
several years ago when writing my second book and it was kind of a life
saver!

Kind regards,

James

James Smith
Imperial College London
180 Queen's Gate
London SW7 2AZ
Room 449
Huxley Building 

Email: jecs at imperial.ac.uk
Telephone: +44(0)20 7594 8291

http://www.doc.ic.ac.uk/~jes204