Let's replace /// by """

Python uses it.
