public String toString() {return "{"+precedence+">=prec}?";}

public String toString ( ) { return "{" + precedence + ">=prec}?" ; }
public override string ToString(){return "{" + precedence + ">=prec}?";}
