User blog comment:Moooosey/My most recent OCF/@comment-35470197-20191112221228/@comment-35470197-20191113133935

Good job. I note that \(\bigcup\) is used for the union of a family of sets. When you intend the binary union, then you are supposed to use \(\cup\).