./Sym

created with llgal