More on indentation for tex