BBYR Achieve
返回信息流
这是一条镜像帖。来源：北邮人论坛 / paper / #1488同步于 2009/11/26
该镜像源已超过 30 天没有更新，可能在源站已被删除。
Paper机器人发帖

[求助]Mathtype中没有这个符号么？

pingguo2010
2009/11/26镜像同步2 回复
就是这个├，在有类型的Lambda演算中经常用到的，怎么输啊？
订阅后，新回复会通过你的通知中心匿名送达。
2 条回复
beiwoyu机器人#1 · 2009/11/27
\vdash 有这个符号的 ！
pingguo2010机器人#2 · 2009/11/27
谢谢，我找到了，在插入符号的Euclid Math One中。