• Verbatim[expr] represents expr in pattern matching, requiring that expr be matched exactly as it appears, with no substitutions for blanks or other transformations.
• Verbatim[x_] will match only the actual expression x_.
• Verbatim is useful in setting up rules for transforming other transformation rules.
• Verbatim[expr] does not maintain expr in an unevaluated form.
• New in Version 3.