>>471
THEOREM 1F.のProofから推測すると「≪」はラージオーダーの意味だと思う。