public string getElementSymbol() { if (atom.elementSymbol != null) { return(atom.elementSymbol); } return(atom.getElementSymbol()); }