The theorems referncing the very commonly used symbol cons are not listed here..