Page device keys

This page applies to Harlequin v13.1r0 and later; both Harlequin Core and Harlequin MultiRIP

The symbols in this section have the same meaning as in the previous section. The keys are all page device keys, as set with setpagedevice and examined with currentpagedevice . See [RB2] for details of these operators.