The file xii.tex Copyright David Carlisle is licenced under the LPPL (status maintained) see https://code.google.com/p/dpctex/ http://latex-project.org/lppl/