// MathsetSize size;
/// <summary>
/// Initializes a new instance of the <see cref="BinaryOperation"/> class.
/// </summary>
/// <param name="e1">The e1<see cref="Formula"/>.</param>
/// <param name="e2">The e2<see cref="Formula"/>.</param>
/// <param name="op">The op<see cref="BinaryOperator"/>.</param>
public BinaryOperation(Formula e1, Formula e2, BinaryOperator op) : base(e1, e2)
{
oper = op;
}
/// <summary>
/// Initializes a new instance of the <see cref="FunctionOperation"/> class.
/// </summary>
/// <param name="ee">The ee<see cref="Formula"/>.</param>
/// <param name="fx">The fx<see cref="FunctionType"/>.</param>
public FunctionOperation(Formula ee, FunctionType fx) : base(ee)
{
effx = fx;
}