K-NEXT K-LEFT K-PRIOR
K-NEXT K-NEXT

[] no special info, see general notes

EXTENSIONS term ordinary constant