TeX source:

. From this definition for