符号/和||是什么代表Coq？

Question

符号/和||代表什么？ 我检查了参考手册并在网上搜索但找不到它。