thsrs.tex

From Lojban