que es verbatim en google