The patterns within the pseudocode for AMD TBM and x86 BMI1 are
 as follows:
 
-* first pattern A: `x / ~x`
-* second pattern B: `| / & / ^`
-* third pattern C: `x+1 / x-1 / ~(x+1) / (~x)+1`
+* first pattern A: two options `x` or `~x`
+* second pattern B: three options `|` `&` or `^`
+* third pattern C: four options `x+1`, `x-1`, `~(x+1)` or `(~x)+1`
 
 Thus it makes sense to create a single instruction
 that covers all of these.  A crucial addition that is essential