ExTr[3]M [;x]