Fixes for set notation, added empty set symbol
Style tweaks