Modified UN and INT xsymbol syntax: made index subscript
Modified UN and INT xsymbol syntax: made index subscript

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle