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
In a comment, b3m2a1 says these functions look like they come from 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?
Context[SetBuilder]
$\endgroup$