x<¬]