TeX source:
\tan (x+\pi) = \tan x