mathematical symbol cardinality