TeX source:

for a lens is