lminus是Synopsy自带的tcl list 操作command。 顾名思义，可以将两个list相减，即过滤掉两个list中相同的element，生成一个新的list，其实是用lsearch与lreplace相结合也可实现此功能，但这个command方便了许多。
prompt> set l1 {a b c}
a b c
prompt> set l2 [lminus $l1 {a b d}]
c
prompt> set l3 [lminus $l1 d]
a b c
prompt> set l1 {a a[1] a* b[1] b c}
a a[1] a* b[1] b c
prompt> set l2 [lminus $l1 a*]
{b[1]} b c
prompt> set l3 [lminus -exact $l1 a*]
a {a[1]} {b[1]} b c
prompt> set l4 [lminus -exact $l1 {a[1] b[1]} ]
a a* b c
