'x'' ∨ ''a''
   HOME
*