Verbatim
The Verbatim usage message is shown below.
Verbatim[expr] is used when you want the pattern matcher to ignore the normal
meaning of a pattern matching feature. To demonstrate the next cell shows
the FullForm of some patterns.
The attempt to delete all such patterns in the next cell fails because the
pattern matcher treats the use of "Pattern" here as a pattern matching
construct instead of an actual form to search for.
In the next cell the pattern matcher knows to ignore the meaning of "Pattern
" so (x_) and (y_List) are deleted. In this case only Pattern was wrapped
in Verbatim so the pattern matcher did consider the meaning of (_) and
(_Blank).
In the next example (Pattern[_,_Blank]) is wrapped in Verbatim so only that
literal expression is deleted.
Suppose you're given a list and want to get the element that matches the pattern (opt1→_). The attempt in the next cell doesn't work because use of a rule as the second argument in Cases has special meaning.
In the next cell Verbatim makes Cases treat it's second argument as a form to
search for instead of replacing (opt1) with (_).
Created by Mathematica (May 16, 2004)