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