$\sqrt{{\tilde \infty}} = {\tilde \infty}$

TeX:

\sqrt{{\tilde \infty}} = {\tilde \infty}

Definitions:

Fungrim symbol | Notation | Short description |
---|---|---|

Sqrt | $\sqrt{z}$ | Principal square root |

UnsignedInfinity | ${\tilde \infty}$ | Unsigned infinity |

Source code for this entry:

Entry(ID("31a8ca"), Formula(Equal(Sqrt(UnsignedInfinity), UnsignedInfinity)))