chiark / gitweb /
add definition of \nequiv. \not\equiv still does not work for some reason
-rw-r--r-- 38 .gitignore
-rw-r--r-- 194 Makefile
-rw-r--r-- 19473 article.tex
-rw-r--r-- 205 test.tex