In[]:=
<<PureMathLoader`
In[]:=
AppendTo[$ContextPath,"PureMath`"]
Out[]=
{RemoteSubmitLoader`,System`,Global`,PureMath`}
In[]:=
Out[]=
∀
{x.,y.},x.∈[Elements]&&y.∈[Elements]&&x.≠y.
∃
{U.,V.}
In[]:=
TraditionalForm[%]
Out[]//TraditionalForm=
∀
{x.,y.},x.∈∧y.∈∧x.≠y.
∃
{U.,V.}
τ.
τ.
In[]:=
EntityValue[Entity["GeneralTopology"],"Graph"]//Activate
Out[]=