What are the $\succ$ and $\prec$ operators for when used with matrices?
Often, the relation $A \succ B$ is used to indicate "$A - B$" is positive definite.
My guess is that $A \succ 7.3$ means $A \succ 7.3 I$; that is, "$A$ is symmetric, and its eigenvalues are strictly greater than $7.3$."