How to display polynomial-time "reduction" symbol?

Question

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 06 '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 06 '11 at 20:09

score 10 · Accepted Answer · answered Jan 07 '11 at 03:46

10

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

This answer was brought to you by Detexify.

answered Jan 07 '11 at 03:46

Ross Churchley

score 0 · Answer 2 · answered Dec 05 '22 at 17:23

0

In communication complexity, I've seen \prec used.

answered Dec 05 '22 at 17:23

Mr. Jones

2 Answers2