| (e ^"++" /ws > e ^"+" /ws)
| (e ^"++/" e /ws > e ^"+/" e /ws)
| (e ^"**" /ws > e ^"*" /ws)
| (e ^"**/" e /ws > e ^"*/" e /ws)
| (e ^"++" /ws > e ^"+" /ws)
| (e ^"++/" e /ws > e ^"+/" e /ws)
| (e ^"**" /ws > e ^"*" /ws)
| (e ^"**/" e /ws > e ^"*/" e /ws)