cd
ps
ll
whoami
article
academic
G1T1
calculus
0-pre
0-realnums/
1-func/
2-common_logicsym/