Is it possible to write (or even better, temporarily redefine) 7 so that it is always output with line in the PDF output? Something like
\newcommand{\7}{\sout{7}}
generates a line which spans the whole width of the character. The line should be about half of that (see the pic above).
