TeX source:
\int \sec x \tan x dx = \sec x +C