06/20/2010, 05:46 AM
first of all, all hyperops are bivariate, which means they have 2 inverses, which means you can't encode both with a nwgative sign. second, yes, -n is always the same as successor when using certain rules... for more rules search this forum for "mother". lastly, there are two systems here for writing in equations... using brackets like a[4]b and texmode which you write .
Andrew Robbins
Code:
[tex]\exp x[/tex]Andrew Robbins

