#! /bin/sh

PATH=/bin:/usr/bin

sed '
s/\\item \(.*\/[0-9]\),/\\item \\verb"\1",/1
s/\\item \(.*\/\[[0-9]\(,[0-9]\)*\]\),/\\item \\verb"\1",/1
s/\\item \(.*()\),/\\item \\verb"\1",/1
' "$@"
