hi:en:symbol:logic:numerical_xpressions