“Device Independent”: format of files produced by
T
E
X