standard notations

tell me some standard actuarical notations of followings...
1)- p(T30 =40)
2)-P(K30 > 40)
3)- P(k30<=40)
4)-P(k30 >=40)
5)-P(T30>=40)
6)-p(T30<40)
7)-p(k30< 40)
8)-p(6<k30<=9)
9)-P(6<=t30<9)