Display name

Is there a metametamathstackexchange devoted to questions about metamathstackexchange?

@Socrates You need to assume that for positive A and negative B, A>0 B<0 and A>B. For any positive A you can find a smaller positive A'=A/2 and for any negative B you can find a larger B'=B/2. Then since 0/2=0 you get 0>0 and 0<0 giving contradictions in both cases

@hawk If you observe that 2Z is the set of "even integers" and 2Z+1 is the set of "odd integers" then it's easy to see how the equations hold

ok it's working now

I'm still seeing the raw code

Latex is not compiling in this chat