many thins. latex snippets ...