• ← Except
• → Longest

HoldPattern

WMA link

HoldPattern[expr]

is equivalent to expr for pattern matching, but maintains it in an unevaluated form.

• • HoldPattern[x + x]

• • x /. HoldPattern[x] -> t

HoldPattern has attribute HoldAll:

• • Attributes[HoldPattern]