Talk:Type XVIII/@comment-206.176.159.86-20200810170047

What about type ∞