]> gitweb.michael.orlitzky.com - mjotex.git/search
Drop the weird cone inequality operators and rename the standard ones.