Rev 11125 | Rev 12237 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 11125 | Rev 11132 | ||
|---|---|---|---|
| Line 359... | Line 359... | ||
| 359 | else {tprint("\\iff ");p++; break;} // <==> |
359 | else {tprint("\\iff ");p++; break;} // <==> |
| 360 | } |
360 | } |
| 361 | case '>': { |
361 | case '>': { |
| 362 | rel++; p++; if(*p!='=') {tprint(" > "); rel=1; break;} // > |
362 | rel++; p++; if(*p!='=') {tprint(" > "); rel=1; break;} // > |
| 363 | while(*p=='=') p++; |
363 | while(*p=='=') p++; |
| 364 | tprint("\\ge "); // >= |
364 | tprint("\\ge "); // >= |
| 365 | break; |
365 | break; |
| 366 | } |
366 | } |
| 367 | case '-': { |
367 | case '-': { |
| 368 | for(pp=p;*pp=='-';pp++); |
368 | for(pp=p;*pp=='-';pp++); |
| 369 | if(*pp!='>') break; |
369 | if(*pp!='>') break; |