sa:symbol:logic:numerical_xpressions