symbol for positive integers - Search