I understand that $A\succ0$ means that "A is a positive definite matrix" (i.e.; all of the eigenvalues of A are positive).
But what does it mean when the right hand side is a different value than zero? For example, what does the expression below imply?
$$ A \succ 7.3 $$
Also, what is the name of this operator?