What text editors are people using to edit TeX and friends' files on Android? I am currently using Jota+. Alan -- AlphaByte PO Box 1941, Auckland http://www.alphabyte.co.nz