@prefetcher

TRUENT, FALSENT, NOT_UNTRUE, NOT_UNFALSE,
@flisk @prefetcher Logicians call truth values top (for truth) and bottom (for falsehood)

@bartholin @flisk @prefetcher ⊤ and ⊥

You do have to admit they are visually immediately telling what is what.