Credits Overview Plotting Styles Commands Terminals

printerr

printerr is the same as print except that output is always sent to stderr even while redirection from a prior set print command remains in effect.