I many papers by Woodin, and on some answers here on MathOverflow (like the first answer of this question), I see the expression "$L(A,\mathbb{R})$" being used, but I have never seen it defined. I first assumed it meant "$L(A\cup\mathbb{R})$" but on the answer I linked it is precised that $A\subset\mathbb{R}$ so clearly that's not it as it would be $L(\mathbb{R})$ whatever $A$ is. A friend of mine suggested it might rather be $L(\{A,\mathbb{R}\})$ which seems likely (as $A$ might just be not constructible from the reals) but I would like a confirmation by someone who knows.

So, what does it mean?