Test symbolic numberof