如何用几何符号叙述下面这个命题?