First find hexadecimal code of the character:
$ echo -n '¬' | od -An -tx1
c2 ac
And then prepend `\x` before each group of numbers:
$ awk -F '\xc2\xac'
First find hexadecimal code of the character:
$ echo -n '¬' | od -An -tx1
c2 ac
And then prepend `\x` before each group of numbers:
$ awk -F '\xc2\xac'