I和tt的名称的起源是什么？

Question

Coq标准库有两种单位类型。True键入一个Prop，并具有一个构造函数I : True。另一个unit是输入的Set，并且具有单个构造函数tt : unit。我不知道什么是名称的由来I和tt。