Make the matching of "ignore end" a bit looser
Updated documentation for ⊂ and ⊃