Double

The lines following the $double statement in the echo print of the source file will be echoed in a double spaced fashion in the Echo print within the LST file.  This command is invoked using the syntax

$double