optional highlight of verbatim @