请问谁知道这个推理符号——∷的确切含义?