请输入您要查询的英文单词:

 

单词 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:

  • The top element in lattice theory.
  • A logical constant denoting a tautology in logic.
  • The top type in type theory.
随便看

 

英汉双解词典包含3607232条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
京ICP备09058993号 更新时间:2025/9/28 23:44:03