:: deftheorem defines -firstChar FOMODEL1:def 27 :
for S being Language holds S -firstChar = (AllSymbolsOf S) -firstChar ;