481
499
% Macros to distinguish prompts and user input from program output in terminal displays
482
500
\newcommand{\prompt}{\texttt{\$}~}
483
501
\newcommand{\rootprompt}{\texttt{\#}~}
485
504
\newcommand{\code}[1]{{\ttfamily#1}}
487
506
% Icons for advanced and warning notices