From card no. 491TUZP9:

yay it fit E is "is a member of" Z is the set of imtegers Z+ is the set of positive integers
yay it fit E is "is a member of" Z is the set of imtegers Z+ is the set of positive integers N is the set of natural numbers a|b is read a divides b, | between statements means "such that"