WordPress is giving me the same troubles it gave John earlier, so if you spot tex that has lost its backslashes, please let me know and I’ll correct the post.