History for "∉quation"