HP System Dictionary/XL SDMAIN Reference Manual (32256-90001)

P- 8
size key portions of an example.
[[ ]] The symbol [[ ]] may be used to indicate a key on the terminal's keyboard. For example,
[[RETURN]] indicates the carriage return key.
[[CONTROL]]char Control characters are indicated by [[CONTROL]] followed by the character. For ex-
ample, [[CONTROL]]Y means the user presses the control key and the character Y simulta-
neously.