notation1 www.cristal.win.tue.nl/... 2003-04-01 experimental 2001-05-12 1 0 arith1 logic1 relation1 set1 setname1 This CD defines symbols for presentation in IDA book. and The symbol to represent the n-ary and boolean operator but is going to be displayed as a comma separate sequence. notation1.in(notation1.and(a,b),Z) is equivalent to logic1.and(set1.in(a,Z),set1.in(b,Z)) in The symbol to represent the n-ary in operator. chain_relation An arbitrary relation between mathematical symbol. 10 100 10 200 10 2000