_Added in 1.9.0_ *$$[identifier]* The double $$ means that the script will halt unless the identifier has a value. This can be used on any identifier to ensure it has a value. *Example*
; If the user enters no name the script halts, otherwise prints the name.
//echo -ag $$?="Insert name"