enlarge left or right paren, change \\str to \\html for brackets in n.1, fix prob. 10 for new paren enlargement