A short manual for TeXworks