name = name.toLowerCase(); removed = ((this.symbols.remove( name ) != null) | (this.temporarySymbols.remove( name ) != null) );
	public boolean removeSymbol( String name ) {		boolean removed = ((this.symbols.remove( name ) != null) 		       | (this.temporarySymbols.remove( name ) != null) );		name = name.toLowerCase();		removed = ((this.symbols.remove( name ) != null) 			       | (this.temporarySymbols.remove( name ) != null) );		return removed;	}