:: deftheorem defines ++ QC_LANG1:def 38 :
for A being QC-alphabet
for s being QC-symbol of A holds s ++ = min (Seg s);