Sharply bounded alternation within P
PDF version
PostScript version
DVI version