这里是上下文:
v(s)≥g(s)= mins'∈pred(s)(v(s')+ c(s',s))≠s≠s start
发布于 2018-03-18 12:05:21
这就是Unicode全角符号(\u2200,∀)中的“全部”(全部)符号。
\u2200
发布于 2018-03-18 12:50:17
是谓词逻辑的通用量词。
https://stackoverflow.com/questions/-100007658
相似问题