X<¬]