Real line (source code)

= Real line
{wiki}

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

= 1D
{synonym}