using correct powerset symbol (\mathcal P)
added 20130919 notes