]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
Shift the \perp in \oplusperp down a tiny bit.
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 23 Sep 2016 14:13:58 +0000 (10:13 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 23 Sep 2016 14:13:58 +0000 (10:13 -0400)

No differences found