The match strategy =?t= matches the term pattern =t= against the current subject term. If the match succeeds all
variables in =t= are bound to the corresponding sub-terms of the subject term.

See [[pattern matching]]

----
CategoryGlossary