[NTG-context] what defines the font size?

Ulrike Fischer news3 at nililand.de
Wed Oct 17 11:01:14 CEST 2018


Am Tue, 16 Oct 2018 09:07:38 +0200 schrieb Arthur Reutenauer:

> I quite liked the idea of the font itself deciding on its size, of its
> own free will ;-)

;-) That's an application of Gödel's incompleteness theorems: with
some level of complexity and lookups strange loops und true but
unproveable statements about the font appear and then it clearly has
its how free will. Or shorter: you no longer can really understand
what it is doing ... 

-- 
Ulrike Fischer 
http://www.troubleshooting-tex.de/



More information about the ntg-context mailing list