Add verbatim tokens