<p>⊬</p>
Unicode 字符 ⊬ U+22AC 是 数学运算符 块中的 无法证明。
Unicode 字符 ⊬ 表示 无法证明。
⊬ 的 Unicode 代码点是 U+22AC。
由于字体和呈现的差异，⊬ 字符的外观在不同平台和设备上可能略有不同。但是，无法证明 的总体设计保持一致。
尽管使用 Unicode 可确保跨设备和平台的一致显示。确保所使用的字体支持 常见的 脚本，以正确呈现 ⊬ 字符。
Unicode 字符 ⊬ 首次在 Unicode 版本 1.1 中引入，它属于 数学运算符 字符块。