这可能是非常微不足道的，但我找不到任何关于 ':>' 符号在 Coq 中含义的信息。U : Type 和 W :> Type 之间有什么区别？
syntax symbols coq
coq ×1
symbols ×1
syntax ×1