Kazhdan–Lusztig polynomial
 
x
OK