rules question



> in fact I want to have something like mathematica's x_
> pattern to use it inside some bigger expression.

I am not familiar with Mathematica semantics.  What exactly is a
Mathematica x_ pattern, and how does it work?

Maybe we would understand better how to help you solve your problem if
you would give us more background.  What exactly are you trying to do?

       -s