逻辑符号.一、逻辑符号~﹁→←?╞├??↓↑↘↙↖↗∣∥√│|~二、集合符号∧∨∩∪∈???三、数学符号≡≈<>≤≥≧≦≮≯≠∫∮∝∞±%‰∽≌﹝1﹞〔2〕∮∝∞±???-×÷四、字母φΦ∫γΓΨψΩωΣστΤαβφδεζωπμλ??θ五、辅助符号△◇『』○?▽???????﹡※????ˉ○??γβαμλκμηεωψθχυτσ?ρποιξ???∑∞∝∽≤≥≠Ω*★、?xATrue()A?BA→BB→Aden(t)A(t0/x)True()?(True()→B)True()?AA?A‖A‖Ββθε?ρfτασξμηζδΔ?ω...