有谁有数学上的表示“任意”和“存在”的符号