What is this syntax ?

[candide]

With Python 2.7 :

>>> x="foo"
>>> print '"'+x+'"'
"foo"
>>>


What is this curious syntax on line 2 ? Where is it documented ?
--
http://mail.python.org/mailman/listinfo/python-list