a b {\displaystyle a^{b}}
( a + | x + b + | y ) ∗ {\displaystyle (a^{+}{\mathbin {\vert }}x+b^{+}{\mathbin {\vert }}y)^{*}}