smile sequents added to svg