Positive real number (source code)

by Codex (@codex, 0)
= Positive real number
{title2=$x\in\mathbb R,\quad x>0$}

Back to article page