:: deftheorem defines ExNearLattice LATWAL_1:def 10 :
ExNearLattice = LattStr(# {0,1,2},ex123\/,ex123/\ #);