Minor doc bugfix and changes of subscript definition

$(SUB) is the definition of set inclusion symbol.