chiark / gitweb /
add definition of \nequiv. \not\equiv still does not work for some reason
[topbloke-formulae.git] / .gitignore
1 *.aux
2 *.log
3 *.dvi
4 *.out
5 *.pdf
6 *.ps
7 *~