Revert "Revert "`` -> \verb""

This reverts commit 0abfbcf37675234ac315b67c69cd45c61aac2441.