A right-pointing arrow with a downward hook, commonly used to denote weak convergence in functional analysis and topology.