ca.analysis and odes - Notation for eventually less than

I agree with Joel Hamkins's answer, but I don't entirely agree with his comment on that answer. I generally use asterisks to mean "with finitely many exceptions" or "modulo finite sets", so I'd use $fleq^*g$ and $Asubseteq^*B$ as Joel says. But when working modulo some ideal $I$ other than the ideal of finite sets, I'd ordinarily avoid asterisks and instead write $fleq_Ig$ and $Asubseteq_IB$.

I'd like to protest vigorously against the use of $ll$ in this situation. To me, $fll g$ means that $f$ is a lot smaller than $g$ (at least eventually), whereas here you might have $f(n)=g(n)-1$ for all $n$.

• Next linear algebra - Extremum under variations of a traceless matrix
• Previous terminology - Is there a name for this property of a topology?