Text this: Trace inequalities for positive semidefinite matrices