discussion:en:symbol:logic:numerical_xpressions