Incremental printing of symbolic information