I would like to print a special character to an aux file. In particular, I would like to write the line
So far, I have achieved the best result with
However, this approach produces an additional whitespace before the first bracket.
What is the appropriate way to print special characters like
@ to an (aux) file? The possibly related examples provided here and here appear unnecessarily complicated and I am not quite able to implement them for my purpose.