Dollar commands
$-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
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