What is the shorthand notation for beryllium 9?