I'm looking for a package where is defined the symbol for polynomial-time reduction that looks like the infinity symbol.
Thanks!
asked Jan 6 '11 at 19:45
Do you mean \propto? I think I've seen that for polynomial-time reduction before...
This answer was brought to you by Detexify.
\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\le_Pfor 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