⊢ 右对钩
U+22A2⊢
128px
⊢含义与说明
右钩对钩符号逻辑符号
右对钩符号，用于表示正确或确认。
使用示例
"在逻辑中，Γ ⊢ φ 表示从前提Γ可推导出φ。"
"类型论中 ⊢ 用于类型判断。"
"证明树中 ⊢ 分隔前提与结论。"
技术信息
Unicode Code Point
U+22A2HTML Entity
⊢CSS Code
\22a2JavaScript Escape
\u{22a2}代码预览
<span class="symbol-right-tack">⊢</span> <!-- Unicode: U+22A2 --> <!-- Name: 右对钩 -->
快捷键
Windows
Alt + 22A2macOS
Type 22A2 then press Option + EnterLinux
Ctrl + Shift + U, type 22A2, Enter用法代码
HTML 实体
⊢
CSS 转义码
content: "\22a2";
JavaScript 转义
String.fromCodePoint(0x22A2)
快捷操作
⊢含义与说明
右钩对钩符号逻辑符号
右对钩符号，用于表示正确或确认。
使用示例
"在逻辑中，Γ ⊢ φ 表示从前提Γ可推导出φ。"
"类型论中 ⊢ 用于类型判断。"
"证明树中 ⊢ 分隔前提与结论。"
如何复制 右对钩 符号?
点击页面上的复制符号按钮即可复制 ⊢ 到剪贴板，然后粘贴到任何地方使用。
右对钩 的 Unicode 编码是什么?
右对钩 的 Unicode 编码是U+22A2。HTML 用法：⊢，CSS 用法：\22a2。
右对钩 属于哪个区块?
右对钩 属于Mathematical Operators区块。
这个页面对你有用吗？
点击反馈帮助我们改进