Assertion: font's size | /r/Synonym | the tex point
Facets:
value: sometimes
type: TEMPORAL
Source sentences:
text: In modern times this size of the point has been approximated as exactly ​1⁄ 72.27 (0.01383700013837) of the inch by Donald Knuth for the default unit of his TeX computer typesetting system and is thus sometimes known as the TeX point, which is 0.35145980 mm.