@prefetcher
TRUENT, FALSENT, NOT_UNTRUE, NOT_UNFALSE,
@bartholin @flisk @prefetcher ⊤ and ⊥
You do have to admit they are visually immediately telling what is what.