public String toString() {return getClass().getName() + " [" + asFormulaString() + "]";}
public override String ToString(){StringBuilder sb = new StringBuilder(64);sb.Append(this.GetType().Name);sb.Append(" [");AsFormulaString(sb);sb.Append("]");return sb.ToString();}