cd
ps
ll
whoami
article
academic
G1T1
calculus
0-pre
2-common_logicsym
0-implies_and_iff
iff.md
implies.md