Heyting

Etymology
Borrowing from.