Definition of s-lim? (context: Trotter product formula) I am searching for a definition of "s-lim", a notation I am seeing used sometimes in the statement of the Trotter product formula (for instance in Barry Simon's book Functional Integration and Quantum Physics e.g. p6, or here [though weirdly formatted] in the online Encyclopedia of Math: < From context, I assume that this is supposed to refer to a limit in the strong operator topology, but since I can't find an actual definition, I wonder if anyone can confirm or else point me to the correct interpretation? Thanks!!

Yes, "s-lim" here means "limit in the strong operator topology".