testing the short symbols, everything works