Dollar commands
Jump to navigation
Jump to search
$-COMMANDS
These commands are called arbitrary commands, user-defined commands, or $-commands (for how they are defined). See 'arbitrary commands' for the full description.
Related Topics: arbitrary commands