public string ToCodeString() { return string.Format("{0} → {1} [{2}]", this.Lhs, this.Rhs, this.Weight.ToString("R")); }