Symbol: ineqn