]> gitweb.michael.orlitzky.com - mjotex.git/history - mjo-theorem-star.tex
Shift the \perp in \oplusperp down a tiny bit.
[mjotex.git] / mjo-theorem-star.tex
2016-04-08 Michael OrlitzkyAdd mjo-theorem-star.tex.