# How to display polynomial-time “reduction” symbol?

I'm looking for a package where is defined the symbol for polynomial-time reduction that looks like the infinity symbol.

Thanks!

-
Could you please describe the symbol in more detail. How does it differ from \infty? Also, have a look at “How to look up a math symbol?” for ideas how you can easily find a particular symbol. –  Caramdir Jan 6 '11 at 19:50
Sipser uses \le_P for a polynomial time reduction. For example, Theorem 7.25 (in the first edition), "If $A\le_P B$ and $B\in P$, then $A\in P$." –  TH. Jan 6 '11 at 20:09

Do you mean \propto? I think I've seen that for polynomial-time reduction before...

This answer was brought to you by Detexify.

-
Yes. Thank you! –  MartyIX Jan 7 '11 at 10:25