add the \arg symbols