Use the pi unicode character in pseudocode

So that the pseudocode is exactly the same as in CLRS.