more typsetting documentation