home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / language / isetl / ops2.t < prev    next >
Encoding:
Text File  |  1987-08-20  |  408 b   |  38 lines
  1. 1 in {1,2,3};
  2. 10 in {1,2,3};
  3. {3} in {1,2,3};
  4.  
  5. {1,2,3} subset {-10..10};
  6. {1,2,3} subset {};
  7. {} subset {1,2,3};
  8. {} subset {};
  9.  
  10. 1 < 2;
  11. 2 < 1;
  12. 1 <= 2;
  13. 1 <= 1;
  14. 2 <= 1;
  15.  
  16. 1 > 2;
  17. 2 > 1;
  18. 1 >= 2;
  19. 1 >= 1;
  20. 2 >= 1;
  21.  
  22. "abc" < "xy";
  23. "xy" < "abc";
  24. "abc" <= "xy";
  25. "abc" <= "abc";
  26. "xy" <= "abc";
  27.  
  28. "abc" > "xy";
  29. "xy" > "abc";
  30. "abc" >= "xy";
  31. "abc" >= "abc";
  32. "xy" >= "abc";
  33.  
  34. "abc" in "";
  35. "" in "abc";
  36. "abc" in "this abc string";
  37.  
  38.