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