#!/bin/sh
sed -e "/\`/s/\'/\\\\fP\\\\s+1/g" -e "/\`/s/\`/\\\\f3\\\\s-1/g
s/<<see below>>/\\\\fI<\\\\h'-1p'<see below>\\\\h'-1p'>\\\\fP/g" $1