The source code of Pictex