TeX source:
\pi =(2/7,4/7,1/7)