TeX source:
^4 \, _2He