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


  • 2
    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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.