USER-DEFINED COMMANDS

Topics

USER-DEFINED COMMANDS

These commands are called arbitrary commands, user-defined commands, or $-commands (for how they are defined). See ARBITRARY COMMANDS for the full description.