Update Symbol.java

Fixed documentation