da3186385004ff6a.tex
1: $. However, the inclusion is not an embedding since convergence
2:     in $