Source: cirosantilli/real-line

= Real line
{wiki}

= $\R^1$
{synonym}
{title2}

= 1D
{synonym}