I want to define a command
\mydef that does something like this:
does the first bit, but I don't seem to be able to use verbatim in a command - how do I access the contents of
#1? In this context I would be happy if I could just discard the first character...