︠b84c75e2-049d-492f-8722-898c4e43d2e6s︠ pretty_print('$%d$') ︡1b229422-201f-4411-a4d7-92879dff4eb6︡︡{"html":"
$%d$
","done":false}︡{"done":true} ︠5c0417f8-8f4a-48a7-b8f5-12865300dbae︠