What is the shorthand notation for carbon 12?