Base of typographical logic