Ptex formula

Add a formula for the [Ptex library](http://ptex.us/).