Latex sources of Project Laboratory