Small observation re. (gt0 X) and ( X 0)

Hi, If you read the docs carefully, you may know that (gt0 X) and ( X 0) are NOT equivalent. This is my small observation today: X:1 T --- (gt0 X) - 1 NIL ( X 0) - T T Have a nice weekend! /Jon -- UNSUBSCRIBE:

Re: Small observation re. (gt0 X) and ( X 0)

Jon Kleiser jon.klei...@usit.uio.no writes: Hi Jon, If you read the docs carefully, you may know that (gt0 X) and ( X 0) are NOT equivalent. This is my small observation today: X:1 T --- (gt0 X) - 1 NIL ( X 0) - T T Have a nice weekend! Surprising at

Re: Small observation re. (gt0 X) and ( X 0)

Hi Jon, If you read the docs carefully, you may know that (gt0 X) and ( X 0) are NOT equivalent. This is my small observation today: X:1 T --- (gt0 X) - 1 NIL ( X 0) - T T Yes, very true. Thanks for reminding about it! This is in fact the intended