Move empty set symbol to right place, but alas still doesn't work