Źródło TeX:
\operatorname {arctg} x+\operatorname {arcctg} x=\frac \pi2