public Symbol(String symbol) throws ModelException
	{
		if (symbol == null || symbol.matches(".*\\d.*"))
		{
			throw new ModelException("Not a valid symbol:" + symbol);
		}
		this.symbol = symbol.trim().toUpperCase();
	}