public override void ToString(StringBuilder sb)
{
sb.Append("ex " + variable + ".");
sb.Append("(");
phi.ToString(sb);
sb.Append(")");
}
public override void ToString(StringBuilder sb)
{
sb.Append("(");
left.ToString(sb);
//sb.Append(")");
sb.Append(" \u2799 ");
//sb.Append("(");
right.ToString(sb);
sb.Append(")");
}
public override void ToString(StringBuilder sb)
{
sb.Append(" \u00AC(");
phi.ToString(sb);
sb.Append(")");
}