def bold(self, text):
        """Write a string in bold by overstriking."""
        return ''.join([ch/'\b'+ch for ch in text])
dataset/ETHPy150Open CollabQ/CollabQ/vendor/epydoc/docwriter/plaintext.py/PlaintextWriter.bold/operator `+` -> `/`