User blog comment:P進大好きbot/Ordinal Notation Associated to a Proper Class of Ordinals/@comment-25601061-20180625142705/@comment-25601061-20180627030536

How does ∖ work?