Tee (symbol)
The tee (⊤), also called down tack (as opposed to the up tack) or verum is a symbol used to represent:
- The top element in lattice theory.
- A logical constant denoting a tautology in logic.
- The top type in type theory.
单词 | Down tack |
释义 |
Down tack
英语百科
Tee (symbol)The tee (⊤), also called down tack (as opposed to the up tack) or verum is a symbol used to represent:
|
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。