add Symbol.java