Yes, that's what they're called. Demo Demo PlayStation was apparently a line of demo discs released during the first few years of the system's life in Japan. It was a bit like the Play Play series, which I've already collected.

It's hard to find details on Demo Demo PlayStation releases, aside from this page, and I don't even see any in Yahoo Japan auctions. Does anyone have any of these discs or just some background information on them?