Pattern matching Inequality

Question

I'd like to extract arguments from instances of Inequality. Following doesn't work, any idea why and how to fix it?

Inequality[1, Less, x, Less, 2] /. Inequality[a_, _, c_, _, e_] -> {a, c, e}

Answer 1

Why don't you use standard access to subexpression?

expr = Inequality[1, Less, x, Less, 2]; {a,c,e} = {expr[[1]], expr[[3]], expr[[5]]};

Answer 2

Inequality[1,Less,x,Less,2] /. HoldPattern[Inequality[a_,_,b_,_,c_]] -> {a, b, c}


Out: {1, x, 2}

Answer 3

Also, you can do this:

Inequality[1, Less, x, Less, 2] /. Literal @ Inequality[ a_ , _ , c_ , _ , e_ ] -> {a, c, e}

ADL