(Cross posted from https://mathematica.stackexchange.com/questions/216748/source-of-setbuilder-mapping-and-math.)

Somewhere I obtained definitions of functions SetBuilder, Mapping, and Math, which produce traditional math expressions as output from such things as:

SetBuilder[x^2, x \[Element] Integers] // TraditionalForm

Mapping[Reals, Integers, 
  x \[RightTeeArrow] Floor[x]] // TraditionalForm

\[ScriptCapitalX]~
  Math["IsTopologicalSubspaceOf"]~\[ScriptCapitalY] // TraditionalForm

At one point within the past year I had access to those functions, as the preceding expressions did successfully evaluate. But not now.

Clearly these functions are not Mathematica 12.1 built-ins.

I think they may have come from the General Topology EntityStore, but I'm not finding them there now.

What package might be the source of these functions?

Possible source

These functions look like they come from the conference proceedings https://link.springer.com/chapter/10.1007/978-3-319-62075-6_12. I'm reading the relevant paper "Semantic representatton of general topology in the Wolfram language", by Ian Ford (https://link.springer.com/chapter/10.1007/978-3-319-62075-6_12( in that volume right now.

According to that paper, allegedly the functions at issue are in the GeneralTopology Entity Store. But I'm not finding them there.

Any ideas?