Cross-browser 'cursor:pointer'

I found these CSS attributes, that make the cursor look like a hand:

• IE - style="cursor: hand;"
• NS6/ IE6 - style="cursor: pointer;"
• Cross Browser - style="cursor: pointer; cursor: hand;"

However I notice that Stack Overflow is using "cursor: pointer" in its CSS. However, this apparently work also on IE.

So ... what gives? What is the correct, browser-independent way to use this CSS item?