cd
ps
ll
whoami
article
academic
G1T1
calculus
0-pre
2-common_logicsym
1-forall_and_exists
forall.md
forall.md
符号$\forall$表示
任意给定
或
任意取定