TeX source:
R \left (22 \mid -4\right)