Symsyx presentations