Text this: Operator inequalities /