TeX source:
|U(14)|=6