Unicode has these four: https://en.wikipedia.org/wiki/List_of_logic_symbols#:~:text=%26%238868%3B-,%26top%3B,-%E2%8A%A4 https://en.wikipedia.org/wiki/List_of_lo

Unicode has these four: https://en.wikipedia.org/wiki/List_of_logic_symbols#:~:text=%26%238868%3B-,%26top%3B,-%E2%8A%A4 https://en.wikipedia.org/wiki/List_of_logic_symbols#:~:text=...