-[[R-paracompact]]
-[[$\mathbb{R}$-paracompact]]