▲
▼
⇔
<B
x
F>
E
⇔
<B
x
x{
F>