Add formula for t1lib