{
Box sum = new BoxWord(argument, Symbol.Pi.toUnicode(),
Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
Box arg = boxArgs.firstElement();
arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
list.nextHorizontalPath(new Box[]{sum, arg});
list.nextVerticalPath(new Box[]{sum});
list.nextVerticalPath(new Box[]{arg});
return list;
}
case 2:
{
Box sum = new BoxWord(argument, Symbol.Pi.toUnicode(),
Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
Box arg = boxArgs.get(1);
arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
Box from = boxArgs.get(0);
from.setProperty(Box.X_CENTRE_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
list.nextHorizontalPath(new Box[]{sum, arg});
list.nextHorizontalPath(new Box[]{from});
list.nextVerticalPath(new Box[]{sum, from});
list.nextVerticalPath(new Box[]{arg});
return list;
}
case 3:
{
Box sum = new BoxWord(argument, Symbol.Pi.toUnicode(),
Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN|Box.LARGE_FONT|Box.PLAIN_FONT);
Box arg = boxArgs.get(2);
arg.setProperty(Box.LEFT_ALIGN|Box.Y_CENTRE_ALIGN);
Box from = boxArgs.get(0);
from.setProperty(Box.X_CENTRE_ALIGN|Box.TOP_ALIGN|Box.SMALL_FONT);
Box to = boxArgs.get(1);
to.setProperty(Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN|Box.SMALL_FONT);
BoxList list = new BoxList(argument, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN);
list.nextHorizontalPath(new Box[]{to});
list.nextHorizontalPath(new Box[]{sum, arg});
list.nextHorizontalPath(new Box[]{from});
list.nextVerticalPath(new Box[]{to, sum, from});
list.nextVerticalPath(new Box[]{arg});
return list;
}
default:
return super.toBox(argument, boxArgs, settings, colourScheme);
}