Further matrix inequalities with nonnegative functions | Synapse