OFFSET
1,3
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul Curtz, Nov 16 2010
EXTENSIONS
Definition clarified by Ralf Stephan, Nov 18 2010.
STATUS
approved