`)|` &rarr; `) |`